package com.blogspot.defik.support;

public class Spectrum48ROM {
	private byte[] ROM = new byte[16384];
	private static Spectrum48ROM instance;

	private Spectrum48ROM() {
		int[] a = f1();
		int c = 0;
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f2();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f3();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f4();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f5();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f6();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f7();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
		a = f8();
		for (int i = 0; i < a.length; i++, c++) {
			ROM[c] = (byte) a[i];
		}
	}

	public static Spectrum48ROM getInstance() {
		if (instance == null)
			synchronized (Spectrum48ROM.class) {
				instance = new Spectrum48ROM();
			}
		return instance;
	}

	public byte[] getROM() {
		return ROM;
	}

	private int[] f1() {
		return new int[] { 243, 175, 17, 255, 255, 195, 203, 17, 42, 93, 92,
				34, 95, 92, 24, 67, 195, 242, 21, 255, 255, 255, 255, 255, 42,
				93, 92, 126, 205, 125, 0, 208, 205, 116, 0, 24, 247, 255, 255,
				255, 195, 91, 51, 255, 255, 255, 255, 255, 197, 42, 97, 92,
				229, 195, 158, 22, 245, 229, 42, 120, 92, 35, 34, 120, 92, 124,
				181, 32, 3, 253, 52, 64, 197, 213, 205, 191, 2, 209, 193, 225,
				241, 251, 201, 225, 110, 253, 117, 0, 237, 123, 61, 92, 195,
				197, 22, 255, 255, 255, 255, 255, 255, 255, 245, 229, 42, 176,
				92, 124, 181, 32, 1, 233, 225, 241, 237, 69, 42, 93, 92, 35,
				34, 93, 92, 126, 201, 254, 33, 208, 254, 13, 200, 254, 16, 216,
				254, 24, 63, 216, 35, 254, 22, 56, 1, 35, 55, 34, 93, 92, 201,
				191, 82, 78, 196, 73, 78, 75, 69, 89, 164, 80, 201, 70, 206,
				80, 79, 73, 78, 212, 83, 67, 82, 69, 69, 78, 164, 65, 84, 84,
				210, 65, 212, 84, 65, 194, 86, 65, 76, 164, 67, 79, 68, 197,
				86, 65, 204, 76, 69, 206, 83, 73, 206, 67, 79, 211, 84, 65,
				206, 65, 83, 206, 65, 67, 211, 65, 84, 206, 76, 206, 69, 88,
				208, 73, 78, 212, 83, 81, 210, 83, 71, 206, 65, 66, 211, 80,
				69, 69, 203, 73, 206, 85, 83, 210, 83, 84, 82, 164, 67, 72, 82,
				164, 78, 79, 212, 66, 73, 206, 79, 210, 65, 78, 196, 60, 189,
				62, 189, 60, 190, 76, 73, 78, 197, 84, 72, 69, 206, 84, 207,
				83, 84, 69, 208, 68, 69, 70, 32, 70, 206, 67, 65, 212, 70, 79,
				82, 77, 65, 212, 77, 79, 86, 197, 69, 82, 65, 83, 197, 79, 80,
				69, 78, 32, 163, 67, 76, 79, 83, 69, 32, 163, 77, 69, 82, 71,
				197, 86, 69, 82, 73, 70, 217, 66, 69, 69, 208, 67, 73, 82, 67,
				76, 197, 73, 78, 203, 80, 65, 80, 69, 210, 70, 76, 65, 83, 200,
				66, 82, 73, 71, 72, 212, 73, 78, 86, 69, 82, 83, 197, 79, 86,
				69, 210, 79, 85, 212, 76, 80, 82, 73, 78, 212, 76, 76, 73, 83,
				212, 83, 84, 79, 208, 82, 69, 65, 196, 68, 65, 84, 193, 82, 69,
				83, 84, 79, 82, 197, 78, 69, 215, 66, 79, 82, 68, 69, 210, 67,
				79, 78, 84, 73, 78, 85, 197, 68, 73, 205, 82, 69, 205, 70, 79,
				210, 71, 79, 32, 84, 207, 71, 79, 32, 83, 85, 194, 73, 78, 80,
				85, 212, 76, 79, 65, 196, 76, 73, 83, 212, 76, 69, 212, 80, 65,
				85, 83, 197, 78, 69, 88, 212, 80, 79, 75, 197, 80, 82, 73, 78,
				212, 80, 76, 79, 212, 82, 85, 206, 83, 65, 86, 197, 82, 65, 78,
				68, 79, 77, 73, 90, 197, 73, 198, 67, 76, 211, 68, 82, 65, 215,
				67, 76, 69, 65, 210, 82, 69, 84, 85, 82, 206, 67, 79, 80, 217,
				66, 72, 89, 54, 53, 84, 71, 86, 78, 74, 85, 55, 52, 82, 70, 67,
				77, 75, 73, 56, 51, 69, 68, 88, 14, 76, 79, 57, 50, 87, 83, 90,
				32, 13, 80, 48, 49, 81, 65, 227, 196, 224, 228, 180, 188, 189,
				187, 175, 176, 177, 192, 167, 166, 190, 173, 178, 186, 229,
				165, 194, 225, 179, 185, 193, 184, 126, 220, 218, 92, 183, 123,
				125, 216, 191, 174, 170, 171, 221, 222, 223, 127, 181, 214,
				124, 213, 93, 219, 182, 217, 91, 215, 12, 7, 6, 4, 5, 8, 10,
				11, 9, 15, 226, 42, 63, 205, 200, 204, 203, 94, 172, 45, 43,
				61, 46, 44, 59, 34, 199, 60, 195, 62, 197, 47, 201, 96, 198,
				58, 208, 206, 168, 202, 211, 212, 209, 210, 169, 207, 46, 47,
				17, 255, 255, 1, 254, 254, 237, 120, 47, 230, 31, 40, 14, 103,
				125, 20, 192, 214, 8, 203, 60, 48, 250, 83, 95, 32, 244, 45,
				203, 0, 56, 230, 122, 60, 200, 254, 40, 200, 254, 25, 200, 123,
				90, 87, 254, 24, 201, 205, 142, 2, 192, 33, 0, 92, 203, 126,
				32, 7, 35, 53, 43, 32, 2, 54, 255, 125, 33, 4, 92, 189, 32,
				238, 205, 30, 3, 208, 33, 0, 92, 190, 40, 46, 235, 33, 4, 92,
				190, 40, 39, 203, 126, 32, 4, 235, 203, 126, 200, 95, 119, 35,
				54, 5, 35, 58, 9, 92, 119, 35, 253, 78, 7, 253, 86, 1, 229,
				205, 51, 3, 225, 119, 50, 8, 92, 253, 203, 1, 238, 201, 35, 54,
				5, 35, 53, 192, 58, 10, 92, 119, 35, 126, 24, 234, 66, 22, 0,
				123, 254, 39, 208, 254, 24, 32, 3, 203, 120, 192, 33, 5, 2, 25,
				126, 55, 201, 123, 254, 58, 56, 47, 13, 250, 79, 3, 40, 3, 198,
				79, 201, 33, 235, 1, 4, 40, 3, 33, 5, 2, 22, 0, 25, 126, 201,
				33, 41, 2, 203, 64, 40, 244, 203, 90, 40, 10, 253, 203, 48, 94,
				192, 4, 192, 198, 32, 201, 198, 165, 201, 254, 48, 216, 13,
				250, 157, 3, 32, 25, 33, 84, 2, 203, 104, 40, 211, 254, 56, 48,
				7, 214, 32, 4, 200, 198, 8, 201, 214, 54, 4, 200, 198, 254,
				201, 33, 48, 2, 254, 57, 40, 186, 254, 48, 40, 182, 230, 7,
				198, 128, 4, 200, 238, 15, 201, 4, 200, 203, 104, 33, 48, 2,
				32, 164, 214, 16, 254, 34, 40, 6, 254, 32, 192, 62, 95, 201,
				62, 64, 201, 243, 125, 203, 61, 203, 61, 47, 230, 3, 79, 6, 0,
				221, 33, 209, 3, 221, 9, 58, 72, 92, 230, 56, 15, 15, 15, 246,
				8, 0, 0, 0, 4, 12, 13, 32, 253, 14, 63, 5, 194, 214, 3, 238,
				16, 211, 254, 68, 79, 203, 103, 32, 9, 122, 179, 40, 9, 121,
				77, 27, 221, 233, 77, 12, 221, 233, 251, 201, 239, 49, 39, 192,
				3, 52, 236, 108, 152, 31, 245, 4, 161, 15, 56, 33, 146, 92,
				126, 167, 32, 94, 35, 78, 35, 70, 120, 23, 159, 185, 32, 84,
				35, 190, 32, 80, 120, 198, 60, 242, 37, 4, 226, 108, 4, 6, 250,
				4, 214, 12, 48, 251, 198, 12, 197, 33, 110, 4, 205, 6, 52, 205,
				180, 51, 239, 4, 56, 241, 134, 119, 239, 192, 2, 49, 56, 205,
				148, 30, 254, 11, 48, 34, 239, 224, 4, 224, 52, 128, 67, 85,
				159, 128, 1, 5, 52, 53, 113, 3, 56, 205, 153, 30, 197, 205,
				153, 30, 225, 80, 89, 122, 179, 200, 27, 195, 181, 3, 207, 10,
				137, 2, 208, 18, 134, 137, 10, 151, 96, 117, 137, 18, 213, 23,
				31, 137, 27, 144, 65, 2, 137, 36, 208, 83, 202, 137, 46, 157,
				54, 177, 137, 56, 255, 73, 62, 137, 67, 255, 106, 115, 137, 79,
				167, 0, 84, 137, 92, 0, 0, 0, 137, 105, 20, 246, 36, 137, 118,
				241, 16, 5, 205, 251, 36, 58, 59, 92, 135, 250, 138, 28, 225,
				208, 229, 205, 241, 43, 98, 107, 13, 248, 9, 203, 254, 201, 33,
				63, 5, 229, 33, 128, 31, 203, 127, 40, 3, 33, 152, 12, 8, 19,
				221, 43, 243, 62, 2, 71, 16, 254, 211, 254, 238, 15, 6, 164,
				45, 32, 245, 5, 37, 242, 216, 4, 6, 47, 16, 254, 211, 254, 62,
				13, 6, 55, 16, 254, 211, 254, 1, 14, 59, 8, 111, 195, 7, 5,
				122, 179, 40, 12, 221, 110, 0, 124, 173, 103, 62, 1, 55, 195,
				37, 5, 108, 24, 244, 121, 203, 120, 16, 254, 48, 4, 6, 66, 16,
				254, 211, 254, 6, 62, 32, 239, 5, 175, 60, 203, 21, 194, 20, 5,
				27, 221, 35, 6, 49, 62, 127, 219, 254, 31, 208, 122, 60, 194,
				254, 4, 6, 59, 16, 254, 201, 245, 58, 72, 92, 230, 56, 15, 15,
				15, 211, 254, 62, 127, 219, 254, 31, 251, 56, 2, 207, 12, 241,
				201, 20, 8, 21, 243, 62, 15, 211, 254, 33, 63, 5, 229, 219,
				254, 31, 230, 32, 246, 2, 79, 191, 192, 205, 231, 5, 48, 250,
				33, 21, 4, 16, 254, 43, 124, 181, 32, 249, 205, 227, 5, 48,
				235, 6, 156, 205, 227, 5, 48, 228, 62, 198, 184, 48, 224, 36,
				32, 241, 6, 201, 205, 231, 5, 48, 213, 120, 254, 212, 48, 244,
				205, 231, 5, 208, 121, 238, 3, 79, 38, 0, 6, 176, 24, 31, 8,
				32, 7, 48, 15, 221, 117, 0, 24, 15, 203, 17, 173, 192, 121, 31,
				79, 19, 24, 7, 221, 126, 0, 173, 192, 221, 35, 27, 8, 6, 178,
				46, 1, 205, 227, 5, 208, 62, 203, 184, 203, 21, 6, 176, 210,
				202, 5, 124, 173, 103, 122, 179, 32, 202, 124, 254, 1, 201,
				205, 231, 5, 208, 62, 22, 61, 32, 253, 167, 4, 200, 62, 127,
				219, 254, 31, 208, 169, 230, 32, 40, 243, 121, 47, 79, 230, 7,
				246, 8, 211, 254, 55, 201, 241, 58, 116, 92, 214, 224, 50, 116,
				92, 205, 140, 28, 205, 48, 37, 40, 60, 1, 17, 0, 58, 116, 92,
				167, 40, 2, 14, 34, 247, 213, 221, 225, 6, 11, 62, 32, 18, 19,
				16, 252, 221, 54, 1, 255, 205, 241, 43, 33, 246, 255, 11, 9, 3,
				48, 15, 58, 116, 92, 167, 32, 2, 207, 14, 120, 177, 40, 10, 1,
				10, 0, 221, 229, 225, 35, 235, 237, 176, 223, 254, 228, 32, 73,
				58, 116, 92, 254, 3, 202, 138, 28, 231, 205, 178, 40, 203, 249,
				48, 11, 33, 0, 0, 58, 116, 92, 61, 40, 21, 207, 1, 194, 138,
				28, 205, 48, 37, 40, 24, 35, 126, 221, 119, 11, 35, 126, 221,
				119, 12, 35, 221, 113, 14, 62, 1, 203, 113, 40, 1, 60, 221,
				119, 0, 235, 231, 254, 41, 32, 218, 231, 205, 238, 27, 235,
				195, 90, 7, 254, 170, 32, 31, 58, 116, 92, 254, 3, 202, 138,
				28, 231, 205, 238, 27, 221, 54, 11, 0, 221, 54, 12, 27, 33, 0,
				64, 221, 117, 13, 221, 116, 14, 24, 77, 254, 175, 32, 79, 58,
				116, 92, 254, 3, 202, 138, 28, 231, 205, 72, 32, 32, 12, 58,
				116, 92, 167, 202, 138, 28, 205, 230, 28, 24, 15, 205, 130, 28,
				223, 254, 44, 40, 12, 58, 116, 92, 167, 202, 138, 28, 205, 230,
				28, 24, 4, 231, 205, 130, 28, 205, 238, 27, 205, 153, 30, 221,
				113, 11, 221, 112, 12, 205, 153, 30, 221, 113, 13, 221, 112,
				14, 96, 105, 221, 54, 0, 3, 24, 68, 254, 202, 40, 9, 205, 238,
				27, 221, 54, 14, 128, 24, 23, 58, 116, 92, 167, 194, 138, 28,
				231, 205, 130, 28, 205, 238, 27, 205, 153, 30, 221, 113, 13,
				221, 112, 14, 221, 54, 0, 0, 42, 89, 92, 237, 91, 83, 92, 55,
				237, 82, 221, 117, 11, 221, 116, 12, 42, 75, 92, 237, 82, 221,
				117, 15, 221, 116, 16, 235, 58, 116, 92, 167, 202, 112, 9, 229,
				1, 17, 0, 221, 9, 221, 229, 17, 17, 0, 175, 55, 205, 86, 5,
				221, 225, 48, 242, 62, 254, 205, 1, 22, 253, 54, 82, 3, 14,
				128, 221, 126, 0, 221, 190, 239, 32, 2, 14, 246, 254, 4, 48,
				217, 17, 192, 9, 197, 205, 10, 12, 193, 221, 229, 209, 33, 240,
				255, 25, 6, 10, 126, 60, 32, 3, 121, 128, 79, 19, 26, 190, 35,
				32, 1, 12, 215, 16, 246, 203, 121, 32, 179, 62, 13, 215, 225,
				221, 126, 0, 254, 3, 40, 12, 58, 116, 92, 61, 202, 8, 8, 254,
				2, 202, 182, 8, 229, 221, 110, 250, 221, 102, 251, 221, 94, 11,
				221, 86, 12, 124, 181, 40, 13, 237, 82, 56, 38, 40, 7, 221,
				126, 0, 254, 3, 32, 29, 225, 124, 181, 32, 6, 221, 110, 13,
				221, 102, 14, 229, 221, 225, 58, 116, 92, 254, 2, 55, 32, 1,
				167, 62 };
	}

	private int[] f2() {
		return new int[] { 255, 205, 86, 5, 216, 207, 26, 221, 94, 11, 221, 86,
				12, 229, 124, 181, 32, 6, 19, 19, 19, 235, 24, 12, 221, 110,
				250, 221, 102, 251, 235, 55, 237, 82, 56, 9, 17, 5, 0, 25, 68,
				77, 205, 5, 31, 225, 221, 126, 0, 167, 40, 62, 124, 181, 40,
				19, 43, 70, 43, 78, 43, 3, 3, 3, 221, 34, 95, 92, 205, 232, 25,
				221, 42, 95, 92, 42, 89, 92, 43, 221, 78, 11, 221, 70, 12, 197,
				3, 3, 3, 221, 126, 253, 245, 205, 85, 22, 35, 241, 119, 209,
				35, 115, 35, 114, 35, 229, 221, 225, 55, 62, 255, 195, 2, 8,
				235, 42, 89, 92, 43, 221, 34, 95, 92, 221, 78, 11, 221, 70, 12,
				197, 205, 229, 25, 193, 229, 197, 205, 85, 22, 221, 42, 95, 92,
				35, 221, 78, 15, 221, 70, 16, 9, 34, 75, 92, 221, 102, 14, 124,
				230, 192, 32, 10, 221, 110, 13, 34, 66, 92, 253, 54, 10, 0,
				209, 221, 225, 55, 62, 255, 195, 2, 8, 221, 78, 11, 221, 70,
				12, 197, 3, 247, 54, 128, 235, 209, 229, 229, 221, 225, 55, 62,
				255, 205, 2, 8, 225, 237, 91, 83, 92, 126, 230, 192, 32, 25,
				26, 19, 190, 35, 32, 2, 26, 190, 27, 43, 48, 8, 229, 235, 205,
				184, 25, 225, 24, 236, 205, 44, 9, 24, 226, 126, 79, 254, 128,
				200, 229, 42, 75, 92, 126, 254, 128, 40, 37, 185, 40, 8, 197,
				205, 184, 25, 193, 235, 24, 240, 230, 224, 254, 160, 32, 18,
				209, 213, 229, 35, 19, 26, 190, 32, 6, 23, 48, 247, 225, 24, 3,
				225, 24, 224, 62, 255, 209, 235, 60, 55, 205, 44, 9, 24, 196,
				32, 16, 8, 34, 95, 92, 235, 205, 184, 25, 205, 232, 25, 235,
				42, 95, 92, 8, 8, 213, 205, 184, 25, 34, 95, 92, 42, 83, 92,
				227, 197, 8, 56, 7, 43, 205, 85, 22, 35, 24, 3, 205, 85, 22,
				35, 193, 209, 237, 83, 83, 92, 237, 91, 95, 92, 197, 213, 235,
				237, 176, 225, 193, 213, 205, 232, 25, 209, 201, 229, 62, 253,
				205, 1, 22, 175, 17, 161, 9, 205, 10, 12, 253, 203, 2, 238,
				205, 212, 21, 221, 229, 17, 17, 0, 175, 205, 194, 4, 221, 225,
				6, 50, 118, 16, 253, 221, 94, 11, 221, 86, 12, 62, 255, 221,
				225, 195, 194, 4, 128, 83, 116, 97, 114, 116, 32, 116, 97, 112,
				101, 44, 32, 116, 104, 101, 110, 32, 112, 114, 101, 115, 115,
				32, 97, 110, 121, 32, 107, 101, 121, 174, 13, 80, 114, 111,
				103, 114, 97, 109, 58, 160, 13, 78, 117, 109, 98, 101, 114, 32,
				97, 114, 114, 97, 121, 58, 160, 13, 67, 104, 97, 114, 97, 99,
				116, 101, 114, 32, 97, 114, 114, 97, 121, 58, 160, 13, 66, 121,
				116, 101, 115, 58, 160, 205, 3, 11, 254, 32, 210, 217, 10, 254,
				6, 56, 105, 254, 24, 48, 101, 33, 11, 10, 95, 22, 0, 25, 94,
				25, 229, 195, 3, 11, 78, 87, 16, 41, 84, 83, 82, 55, 80, 79,
				95, 94, 93, 92, 91, 90, 84, 83, 12, 62, 34, 185, 32, 17, 253,
				203, 1, 78, 32, 9, 4, 14, 2, 62, 24, 184, 32, 3, 5, 14, 33,
				195, 217, 13, 58, 145, 92, 245, 253, 54, 87, 1, 62, 32, 205,
				101, 11, 241, 50, 145, 92, 201, 253, 203, 1, 78, 194, 205, 14,
				14, 33, 205, 85, 12, 5, 195, 217, 13, 205, 3, 11, 121, 61, 61,
				230, 16, 24, 90, 62, 63, 24, 108, 17, 135, 10, 50, 15, 92, 24,
				11, 17, 109, 10, 24, 3, 17, 135, 10, 50, 14, 92, 42, 81, 92,
				115, 35, 114, 201, 17, 244, 9, 205, 128, 10, 42, 14, 92, 87,
				125, 254, 22, 218, 17, 34, 32, 41, 68, 74, 62, 31, 145, 56, 12,
				198, 2, 79, 253, 203, 1, 78, 32, 22, 62, 22, 144, 218, 159, 30,
				60, 71, 4, 253, 203, 2, 70, 194, 85, 12, 253, 190, 49, 218,
				134, 12, 195, 217, 13, 124, 205, 3, 11, 129, 61, 230, 31, 200,
				87, 253, 203, 1, 198, 62, 32, 205, 59, 12, 21, 32, 248, 201,
				205, 36, 11, 253, 203, 1, 78, 32, 26, 253, 203, 2, 70, 32, 8,
				237, 67, 136, 92, 34, 132, 92, 201, 237, 67, 138, 92, 237, 67,
				130, 92, 34, 134, 92, 201, 253, 113, 69, 34, 128, 92, 201, 253,
				203, 1, 78, 32, 20, 237, 75, 136, 92, 42, 132, 92, 253, 203, 2,
				70, 200, 237, 75, 138, 92, 42, 134, 92, 201, 253, 78, 69, 42,
				128, 92, 201, 254, 128, 56, 61, 254, 144, 48, 38, 71, 205, 56,
				11, 205, 3, 11, 17, 146, 92, 24, 71, 33, 146, 92, 205, 62, 11,
				203, 24, 159, 230, 15, 79, 203, 24, 159, 230, 240, 177, 14, 4,
				119, 35, 13, 32, 251, 201, 214, 165, 48, 9, 198, 21, 197, 237,
				75, 123, 92, 24, 11, 205, 16, 12, 195, 3, 11, 197, 237, 75, 54,
				92, 235, 33, 59, 92, 203, 134, 254, 32, 32, 2, 203, 198, 38, 0,
				111, 41, 41, 41, 9, 193, 235, 121, 61, 62, 33, 32, 14, 5, 79,
				253, 203, 1, 78, 40, 6, 213, 205, 205, 14, 209, 121, 185, 213,
				204, 85, 12, 209, 197, 229, 58, 145, 92, 6, 255, 31, 56, 1, 4,
				31, 31, 159, 79, 62, 8, 167, 253, 203, 1, 78, 40, 5, 253, 203,
				48, 206, 55, 235, 8, 26, 160, 174, 169, 18, 8, 56, 19, 20, 35,
				61, 32, 242, 235, 37, 253, 203, 1, 78, 204, 219, 11, 225, 193,
				13, 35, 201, 8, 62, 32, 131, 95, 8, 24, 230, 124, 15, 15, 15,
				230, 3, 246, 88, 103, 237, 91, 143, 92, 126, 171, 162, 171,
				253, 203, 87, 118, 40, 8, 230, 199, 203, 87, 32, 2, 238, 56,
				253, 203, 87, 102, 40, 8, 230, 248, 203, 111, 32, 2, 238, 7,
				119, 201, 229, 38, 0, 227, 24, 4, 17, 149, 0, 245, 205, 65, 12,
				56, 9, 62, 32, 253, 203, 1, 70, 204, 59, 12, 26, 230, 127, 205,
				59, 12, 26, 19, 135, 48, 245, 209, 254, 72, 40, 3, 254, 130,
				216, 122, 254, 3, 216, 62, 32, 213, 217, 215, 217, 209, 201,
				245, 235, 60, 203, 126, 35, 40, 251, 61, 32, 248, 235, 241,
				254, 32, 216, 26, 214, 65, 201, 253, 203, 1, 78, 192, 17, 217,
				13, 213, 120, 253, 203, 2, 70, 194, 2, 13, 253, 190, 49, 56,
				27, 192, 253, 203, 2, 102, 40, 22, 253, 94, 45, 29, 40, 90, 62,
				0, 205, 1, 22, 237, 123, 63, 92, 253, 203, 2, 166, 201, 207, 4,
				253, 53, 82, 32, 69, 62, 24, 144, 50, 140, 92, 42, 143, 92,
				229, 58, 145, 92, 245, 62, 253, 205, 1, 22, 175, 17, 248, 12,
				205, 10, 12, 253, 203, 2, 238, 33, 59, 92, 203, 222, 203, 174,
				217, 205, 212, 21, 217, 254, 32, 40, 69, 254, 226, 40, 65, 246,
				32, 254, 110, 40, 59, 62, 254, 205, 1, 22, 241, 50, 145, 92,
				225, 34, 143, 92, 205, 254, 13, 253, 70, 49, 4, 14, 33, 197,
				205, 155, 14, 124, 15, 15, 15, 230, 3, 246, 88, 103, 17, 224,
				90, 26, 78, 6, 32, 235, 18, 113, 19, 35, 16, 250, 193, 201,
				128, 115, 99, 114, 111, 108, 108, 191, 207, 12, 254, 2, 56,
				128, 253, 134, 49, 214, 25, 208, 237, 68, 197, 71, 42, 143, 92,
				229, 42, 145, 92, 229, 205, 77, 13, 120, 245, 33, 107, 92, 70,
				120, 60, 119, 33, 137, 92, 190, 56, 3, 52, 6, 24, 205, 0, 14,
				241, 61, 32, 232, 225, 253, 117, 87, 225, 34, 143, 92, 237, 75,
				136, 92, 253, 203, 2, 134, 205, 217, 13, 253, 203, 2, 198, 193,
				201, 175, 42, 141, 92, 253, 203, 2, 70, 40, 4, 103, 253, 110,
				14, 34, 143, 92, 33, 145, 92, 32, 2, 126, 15, 174, 230, 85,
				174, 119, 201, 205, 175, 13, 33, 60, 92, 203, 174, 203, 198,
				205, 77, 13, 253, 70, 49, 205, 68, 14, 33, 192, 90, 58, 141,
				92, 5, 24, 7, 14, 32, 43, 119, 13, 32, 251, 16, 247, 253, 54,
				49, 2, 62, 253, 205, 1, 22, 42, 81, 92, 17, 244, 9, 167, 115,
				35, 114, 35, 17, 168, 16, 63, 56, 246, 1, 33, 23, 24, 42, 33,
				0, 0, 34, 125, 92, 253, 203, 48, 134, 205, 148, 13, 62, 254,
				205, 1, 22, 205, 77, 13, 6, 24, 205, 68, 14, 42, 81, 92, 17,
				244, 9, 115, 35, 114, 253, 54, 82, 1, 1, 33, 24, 33, 0, 91,
				253, 203, 1, 78, 32, 18, 120, 253, 203, 2, 70, 40, 5, 253, 134,
				49, 214, 24, 197, 71, 205, 155, 14, 193, 62, 33, 145, 95, 22,
				0, 25, 195, 220, 10, 6, 23, 205, 155, 14, 14, 8, 197, 229, 120,
				230, 7, 120, 32, 12, 235, 33, 224, 248, 25, 235, 1, 32, 0, 61,
				237, 176, 235, 33, 224, 255, 25, 235, 71, 230, 7, 15, 15, 15,
				79, 120, 6, 0, 237, 176, 6, 7, 9, 230, 248, 32, 219, 225, 36,
				193, 13, 32, 205, 205, 136, 14, 33, 224, 255, 25, 235, 237,
				176, 6, 1, 197, 205, 155, 14, 14, 8, 197, 229, 120, 230, 7, 15,
				15, 15, 79, 120, 6, 0, 13, 84, 93, 54, 0, 19, 237, 176, 17, 1,
				7, 25, 61, 230, 248, 71, 32, 229, 225, 36, 193, 13, 32, 220,
				205, 136, 14, 98, 107, 19, 58, 141, 92, 253, 203, 2, 70, 40, 3,
				58, 72, 92, 119, 11, 237, 176, 193, 14, 33, 201, 124, 15, 15,
				15, 61, 246, 80, 103, 235, 97, 104, 41, 41, 41, 41, 41, 68, 77,
				201, 62, 24, 144, 87, 15, 15, 15, 230, 224, 111, 122, 230, 24,
				246, 64, 103, 201, 243, 6, 176, 33, 0, 64, 229, 197, 205, 244,
				14, 193, 225, 36, 124, 230, 7, 32, 10, 125, 198, 32, 111, 63,
				159, 230, 248, 132, 103, 16, 231, 24, 13, 243, 33, 0, 91, 6, 8,
				197, 205, 244, 14, 193, 16, 249, 62, 4, 211, 251, 251, 33, 0,
				91, 253, 117, 70, 175, 71, 119, 35, 16, 252, 253, 203, 48, 142,
				14, 33, 195, 217, 13, 120, 254, 3, 159, 230, 2, 211, 251, 87,
				205, 84, 31, 56, 10, 62, 4, 211, 251, 251, 205, 223, 14, 207,
				12, 219, 251, 135, 248, 48, 235, 14, 32, 94, 35, 6, 8, 203, 18,
				203, 19, 203, 26, 219, 251, 31, 48, 251, 122, 211, 251, 16,
				240, 13, 32, 233, 201, 42, 61, 92, 229, 33, 127, 16, 229, 237,
				115, 61, 92, 205, 212, 21, 245, 22, 0, 253, 94, 255, 33, 200,
				0, 205, 181, 3, 241, 33, 56, 15, 229, 254, 24, 48, 49, 254, 7,
				56, 45, 254, 16, 56, 58, 1, 2, 0, 87, 254, 22, 56, 12, 3, 253,
				203, 55, 126, 202, 30, 16, 205, 212, 21, 95, 205, 212, 21, 213,
				42, 91, 92, 253, 203, 7, 134, 205, 85, 22, 193, 35, 112, 35,
				113, 24, 10, 253, 203, 7, 134, 42, 91, 92, 205, 82, 22, 18, 19,
				237, 83, 91, 92, 201, 95, 22, 0, 33, 153, 15, 25, 94, 25, 229,
				42, 91, 92, 201, 9, 102, 106, 80, 181, 112, 126, 207, 212, 42,
				73, 92, 253, 203, 55, 110, 194, 151, 16, 205, 110, 25, 205,
				149, 22, 122, 179, 202, 151, 16, 229, 35, 78, 35, 70, 33, 10,
				0, 9, 68, 77, 205, 5, 31, 205, 151, 16, 42, 81, 92, 227, 229,
				62, 255, 205, 1, 22, 225, 43, 253, 53, 15, 205, 85, 24, 253,
				52, 15, 42, 89, 92, 35, 35, 35, 35, 34, 91, 92, 225, 205, 21,
				22, 201, 253, 203, 55, 110, 32, 8, 33, 73, 92, 205, 15, 25, 24,
				109 };
	}

	private int[] f3() {
		return new int[] { 253, 54, 0, 16, 24, 29, 205, 49, 16, 24, 5, 126,
				254, 13, 200, 35, 34, 91, 92, 201, 205, 49, 16, 1, 1, 0, 195,
				232, 25, 205, 212, 21, 205, 212, 21, 225, 225, 225, 34, 61, 92,
				253, 203, 0, 126, 192, 249, 201, 55, 205, 149, 17, 237, 82, 25,
				35, 193, 216, 197, 68, 77, 98, 107, 35, 26, 230, 240, 254, 16,
				32, 9, 35, 26, 214, 23, 206, 0, 32, 1, 35, 167, 237, 66, 9,
				235, 56, 230, 201, 253, 203, 55, 110, 192, 42, 73, 92, 205,
				110, 25, 235, 205, 149, 22, 33, 74, 92, 205, 28, 25, 205, 149,
				23, 62, 0, 195, 1, 22, 253, 203, 55, 126, 40, 168, 195, 129,
				15, 253, 203, 48, 102, 40, 161, 253, 54, 0, 255, 22, 0, 253,
				94, 254, 33, 144, 26, 205, 181, 3, 195, 48, 15, 229, 205, 144,
				17, 43, 205, 229, 25, 34, 91, 92, 253, 54, 7, 0, 225, 201, 253,
				203, 2, 94, 196, 29, 17, 167, 253, 203, 1, 110, 200, 58, 8, 92,
				253, 203, 1, 174, 245, 253, 203, 2, 110, 196, 110, 13, 241,
				254, 32, 48, 82, 254, 16, 48, 45, 254, 6, 48, 10, 71, 230, 1,
				79, 120, 31, 198, 18, 24, 42, 32, 9, 33, 106, 92, 62, 8, 174,
				119, 24, 14, 254, 14, 216, 214, 13, 33, 65, 92, 190, 119, 32,
				2, 54, 0, 253, 203, 2, 222, 191, 201, 71, 230, 7, 79, 62, 16,
				203, 88, 32, 1, 60, 253, 113, 211, 17, 13, 17, 24, 6, 58, 13,
				92, 17, 168, 16, 42, 79, 92, 35, 35, 115, 35, 114, 55, 201,
				205, 77, 13, 253, 203, 2, 158, 253, 203, 2, 174, 42, 138, 92,
				229, 42, 61, 92, 229, 33, 103, 17, 229, 237, 115, 61, 92, 42,
				130, 92, 229, 55, 205, 149, 17, 235, 205, 125, 24, 235, 205,
				225, 24, 42, 138, 92, 227, 235, 205, 77, 13, 58, 139, 92, 146,
				56, 38, 32, 6, 123, 253, 150, 80, 48, 30, 62, 32, 213, 205,
				244, 9, 209, 24, 233, 22, 0, 253, 94, 254, 33, 144, 26, 205,
				181, 3, 253, 54, 0, 255, 237, 91, 138, 92, 24, 2, 209, 225,
				225, 34, 61, 92, 193, 213, 205, 217, 13, 225, 34, 130, 92, 253,
				54, 38, 0, 201, 42, 97, 92, 43, 167, 237, 91, 89, 92, 253, 203,
				55, 110, 200, 237, 91, 97, 92, 216, 42, 99, 92, 201, 126, 254,
				14, 1, 6, 0, 204, 232, 25, 126, 35, 254, 13, 32, 241, 201, 243,
				62, 255, 237, 91, 178, 92, 217, 237, 75, 180, 92, 237, 91, 56,
				92, 42, 123, 92, 217, 71, 62, 7, 211, 254, 62, 63, 237, 71, 0,
				0, 0, 0, 0, 0, 98, 107, 54, 2, 43, 188, 32, 250, 167, 237, 82,
				25, 35, 48, 6, 53, 40, 3, 53, 40, 243, 43, 217, 237, 67, 180,
				92, 237, 83, 56, 92, 34, 123, 92, 217, 4, 40, 25, 34, 180, 92,
				17, 175, 62, 1, 168, 0, 235, 237, 184, 235, 35, 34, 123, 92,
				43, 1, 64, 0, 237, 67, 56, 92, 34, 178, 92, 33, 0, 60, 34, 54,
				92, 42, 178, 92, 54, 62, 43, 249, 43, 43, 34, 61, 92, 237, 86,
				253, 33, 58, 92, 251, 33, 182, 92, 34, 79, 92, 17, 175, 21, 1,
				21, 0, 235, 237, 176, 235, 43, 34, 87, 92, 35, 34, 83, 92, 34,
				75, 92, 54, 128, 35, 34, 89, 92, 54, 13, 35, 54, 128, 35, 34,
				97, 92, 34, 99, 92, 34, 101, 92, 62, 56, 50, 141, 92, 50, 143,
				92, 50, 72, 92, 33, 35, 5, 34, 9, 92, 253, 53, 198, 253, 53,
				202, 33, 198, 21, 17, 16, 92, 1, 14, 0, 237, 176, 253, 203, 1,
				206, 205, 223, 14, 253, 54, 49, 2, 205, 107, 13, 175, 17, 56,
				21, 205, 10, 12, 253, 203, 2, 238, 24, 7, 253, 54, 49, 2, 205,
				149, 23, 205, 176, 22, 62, 0, 205, 1, 22, 205, 44, 15, 205, 23,
				27, 253, 203, 0, 126, 32, 18, 253, 203, 48, 102, 40, 64, 42,
				89, 92, 205, 167, 17, 253, 54, 0, 255, 24, 221, 42, 89, 92, 34,
				93, 92, 205, 251, 25, 120, 177, 194, 93, 21, 223, 254, 13, 40,
				192, 253, 203, 48, 70, 196, 175, 13, 205, 110, 13, 62, 25, 253,
				150, 79, 50, 140, 92, 253, 203, 1, 254, 253, 54, 0, 255, 253,
				54, 10, 1, 205, 138, 27, 118, 253, 203, 1, 174, 253, 203, 48,
				78, 196, 205, 14, 58, 58, 92, 60, 245, 33, 0, 0, 253, 116, 55,
				253, 116, 38, 34, 11, 92, 33, 1, 0, 34, 22, 92, 205, 176, 22,
				253, 203, 55, 174, 205, 110, 13, 253, 203, 2, 238, 241, 71,
				254, 10, 56, 2, 198, 7, 205, 239, 21, 62, 32, 215, 120, 17,
				145, 19, 205, 10, 12, 175, 17, 54, 21, 205, 10, 12, 237, 75,
				69, 92, 205, 27, 26, 62, 58, 215, 253, 78, 13, 6, 0, 205, 27,
				26, 205, 151, 16, 58, 58, 92, 60, 40, 27, 254, 9, 40, 4, 254,
				21, 32, 3, 253, 52, 13, 1, 3, 0, 17, 112, 92, 33, 68, 92, 203,
				126, 40, 1, 9, 237, 184, 253, 54, 10, 255, 253, 203, 1, 158,
				195, 172, 18, 128, 79, 203, 78, 69, 88, 84, 32, 119, 105, 116,
				104, 111, 117, 116, 32, 70, 79, 210, 86, 97, 114, 105, 97, 98,
				108, 101, 32, 110, 111, 116, 32, 102, 111, 117, 110, 228, 83,
				117, 98, 115, 99, 114, 105, 112, 116, 32, 119, 114, 111, 110,
				231, 79, 117, 116, 32, 111, 102, 32, 109, 101, 109, 111, 114,
				249, 79, 117, 116, 32, 111, 102, 32, 115, 99, 114, 101, 101,
				238, 78, 117, 109, 98, 101, 114, 32, 116, 111, 111, 32, 98,
				105, 231, 82, 69, 84, 85, 82, 78, 32, 119, 105, 116, 104, 111,
				117, 116, 32, 71, 79, 83, 85, 194, 69, 110, 100, 32, 111, 102,
				32, 102, 105, 108, 229, 83, 84, 79, 80, 32, 115, 116, 97, 116,
				101, 109, 101, 110, 244, 73, 110, 118, 97, 108, 105, 100, 32,
				97, 114, 103, 117, 109, 101, 110, 244, 73, 110, 116, 101, 103,
				101, 114, 32, 111, 117, 116, 32, 111, 102, 32, 114, 97, 110,
				103, 229, 78, 111, 110, 115, 101, 110, 115, 101, 32, 105, 110,
				32, 66, 65, 83, 73, 195, 66, 82, 69, 65, 75, 32, 45, 32, 67,
				79, 78, 84, 32, 114, 101, 112, 101, 97, 116, 243, 79, 117, 116,
				32, 111, 102, 32, 68, 65, 84, 193, 73, 110, 118, 97, 108, 105,
				100, 32, 102, 105, 108, 101, 32, 110, 97, 109, 229, 78, 111,
				32, 114, 111, 111, 109, 32, 102, 111, 114, 32, 108, 105, 110,
				229, 83, 84, 79, 80, 32, 105, 110, 32, 73, 78, 80, 85, 212, 70,
				79, 82, 32, 119, 105, 116, 104, 111, 117, 116, 32, 78, 69, 88,
				212, 73, 110, 118, 97, 108, 105, 100, 32, 73, 47, 79, 32, 100,
				101, 118, 105, 99, 229, 73, 110, 118, 97, 108, 105, 100, 32,
				99, 111, 108, 111, 117, 242, 66, 82, 69, 65, 75, 32, 105, 110,
				116, 111, 32, 112, 114, 111, 103, 114, 97, 237, 82, 65, 77, 84,
				79, 80, 32, 110, 111, 32, 103, 111, 111, 228, 83, 116, 97, 116,
				101, 109, 101, 110, 116, 32, 108, 111, 115, 244, 73, 110, 118,
				97, 108, 105, 100, 32, 115, 116, 114, 101, 97, 237, 70, 78, 32,
				119, 105, 116, 104, 111, 117, 116, 32, 68, 69, 198, 80, 97,
				114, 97, 109, 101, 116, 101, 114, 32, 101, 114, 114, 111, 242,
				84, 97, 112, 101, 32, 108, 111, 97, 100, 105, 110, 103, 32,
				101, 114, 114, 111, 242, 44, 160, 127, 32, 49, 57, 56, 50, 32,
				83, 105, 110, 99, 108, 97, 105, 114, 32, 82, 101, 115, 101, 97,
				114, 99, 104, 32, 76, 116, 228, 62, 16, 1, 0, 0, 195, 19, 19,
				237, 67, 73, 92, 42, 93, 92, 235, 33, 85, 21, 229, 42, 97, 92,
				55, 237, 82, 229, 96, 105, 205, 110, 25, 32, 6, 205, 184, 25,
				205, 232, 25, 193, 121, 61, 176, 40, 40, 197, 3, 3, 3, 3, 43,
				237, 91, 83, 92, 213, 205, 85, 22, 225, 34, 83, 92, 193, 197,
				19, 42, 97, 92, 43, 43, 237, 184, 42, 73, 92, 235, 193, 112,
				43, 113, 43, 115, 43, 114, 241, 195, 162, 18, 244, 9, 168, 16,
				75, 244, 9, 196, 21, 83, 129, 15, 196, 21, 82, 244, 9, 196, 21,
				80, 128, 207, 18, 1, 0, 6, 0, 11, 0, 1, 0, 1, 0, 6, 0, 16, 0,
				253, 203, 2, 110, 32, 4, 253, 203, 2, 222, 205, 230, 21, 216,
				40, 250, 207, 7, 217, 229, 42, 81, 92, 35, 35, 24, 8, 30, 48,
				131, 217, 229, 42, 81, 92, 94, 35, 86, 235, 205, 44, 22, 225,
				217, 201, 135, 198, 22, 111, 38, 92, 94, 35, 86, 122, 179, 32,
				2, 207, 23, 27, 42, 79, 92, 25, 34, 81, 92, 253, 203, 48, 166,
				35, 35, 35, 35, 78, 33, 45, 22, 205, 220, 22, 208, 22, 0, 94,
				25, 233, 75, 6, 83, 18, 80, 27, 0, 253, 203, 2, 198, 253, 203,
				1, 174, 253, 203, 48, 230, 24, 4, 253, 203, 2, 134, 253, 203,
				1, 142, 195, 77, 13, 253, 203, 1, 206, 201, 1, 1, 0, 229, 205,
				5, 31, 225, 205, 100, 22, 42, 101, 92, 235, 237, 184, 201, 245,
				229, 33, 75, 92, 62, 14, 94, 35, 86, 227, 167, 237, 82, 25,
				227, 48, 9, 213, 235, 9, 235, 114, 43, 115, 35, 209, 35, 61,
				32, 232, 235, 209, 241, 167, 237, 82, 68, 77, 3, 25, 235, 201,
				0, 0, 235, 17, 143, 22, 126, 230, 192, 32, 247, 86, 35, 94,
				201, 42, 99, 92, 43, 205, 85, 22, 35, 35, 193, 237, 67, 97, 92,
				193, 235, 35, 201, 42, 89, 92, 54, 13, 34, 91, 92, 35, 54, 128,
				35, 34, 97, 92, 42, 97, 92, 34, 99, 92, 42, 99, 92, 34, 101,
				92, 229, 33, 146, 92, 34, 104, 92, 225, 201, 237, 91, 89, 92,
				195, 229, 25, 35, 126, 167, 200, 185, 35, 32, 248, 55, 201,
				205, 30, 23, 205, 1, 23, 1, 0, 0, 17, 226, 163, 235, 25, 56, 7,
				1, 212, 21, 9, 78, 35, 70, 235, 113, 35, 112, 201, 229, 42, 79,
				92, 9, 35, 35, 35, 78, 235, 33, 22, 23, 205, 220, 22, 78, 6, 0,
				9, 233, 75, 5, 83, 3, 80, 1, 225, 201, 205, 148, 30, 254, 16,
				56, 2, 207, 23, 198, 3, 7, 33, 16, 92, 79, 6, 0, 9, 78, 35, 70,
				43, 201, 239, 1, 56, 205, 30, 23, 120, 177, 40, 22, 235, 42,
				79, 92, 9, 35, 35, 35, 126, 235, 254, 75, 40, 8, 254, 83, 40,
				4, 254, 80, 32, 207, 205, 93, 23, 115, 35, 114, 201, 229, 205,
				241, 43, 120, 177, 32, 2, 207, 14, 197, 26, 230, 223, 79, 33,
				122, 23, 205, 220, 22, 48, 241, 78, 6, 0, 9, 193, 233, 75, 6,
				83, 8, 80, 10, 0, 30, 1, 24, 6, 30, 6, 24, 2, 30, 16, 11, 120,
				177, 32, 213, 87, 225, 201, 24, 144, 237, 115, 63, 92, 253, 54,
				2, 16, 205, 175, 13, 253, 203, 2, 198, 253, 70, 49, 205, 68,
				14, 253, 203, 2, 134, 253, 203, 48, 198, 42, 73, 92, 237, 91,
				108, 92, 167, 237, 82, 25, 56, 34, 213, 205, 110, 25, 17, 192,
				2, 235, 237, 82, 227, 205, 110, 25, 193, 197, 205, 184, 25,
				193, 9, 56, 14, 235, 86, 35, 94, 43, 237, 83, 108, 92, 24, 237,
				34, 108, 92, 42, 108, 92, 205, 110, 25, 40, 1, 235, 205, 51,
				24, 253, 203, 2, 166, 201, 62, 3, 24, 2, 62, 2, 253, 54, 2, 0,
				205, 48 };
	}

	private int[] f4() {
		return new int[] { 37, 196, 1, 22, 223, 205, 112, 32, 56, 20, 223, 254,
				59, 40, 4, 254, 44, 32, 6, 231, 205, 130, 28, 24, 8, 205, 230,
				28, 24, 3, 205, 222, 28, 205, 238, 27, 205, 153, 30, 120, 230,
				63, 103, 105, 34, 73, 92, 205, 110, 25, 30, 1, 205, 85, 24,
				215, 253, 203, 2, 102, 40, 246, 58, 107, 92, 253, 150, 79, 32,
				238, 171, 200, 229, 213, 33, 108, 92, 205, 15, 25, 209, 225,
				24, 224, 237, 75, 73, 92, 205, 128, 25, 22, 62, 40, 5, 17, 0,
				0, 203, 19, 253, 115, 45, 126, 254, 64, 193, 208, 197, 205, 40,
				26, 35, 35, 35, 253, 203, 1, 134, 122, 167, 40, 5, 215, 253,
				203, 1, 198, 213, 235, 253, 203, 48, 150, 33, 59, 92, 203, 150,
				253, 203, 55, 110, 40, 2, 203, 214, 42, 95, 92, 167, 237, 82,
				32, 5, 62, 63, 205, 193, 24, 205, 225, 24, 235, 126, 205, 182,
				24, 35, 254, 13, 40, 6, 235, 205, 55, 25, 24, 224, 209, 201,
				254, 14, 192, 35, 35, 35, 35, 35, 35, 126, 201, 217, 42, 143,
				92, 229, 203, 188, 203, 253, 34, 143, 92, 33, 145, 92, 86, 213,
				54, 0, 205, 244, 9, 225, 253, 116, 87, 225, 34, 143, 92, 217,
				201, 42, 91, 92, 167, 237, 82, 192, 58, 65, 92, 203, 7, 40, 4,
				198, 67, 24, 22, 33, 59, 92, 203, 158, 62, 75, 203, 86, 40, 11,
				203, 222, 60, 253, 203, 48, 94, 40, 2, 62, 67, 213, 205, 193,
				24, 209, 201, 94, 35, 86, 229, 235, 35, 205, 110, 25, 205, 149,
				22, 225, 253, 203, 55, 110, 192, 114, 43, 115, 201, 123, 167,
				248, 24, 13, 175, 9, 60, 56, 252, 237, 66, 61, 40, 241, 195,
				239, 21, 205, 27, 45, 48, 48, 254, 33, 56, 44, 253, 203, 1,
				150, 254, 203, 40, 36, 254, 58, 32, 14, 253, 203, 55, 110, 32,
				22, 253, 203, 48, 86, 40, 20, 24, 14, 254, 34, 32, 10, 245, 58,
				106, 92, 238, 4, 50, 106, 92, 241, 253, 203, 1, 214, 215, 201,
				229, 42, 83, 92, 84, 93, 193, 205, 128, 25, 208, 197, 205, 184,
				25, 235, 24, 244, 126, 184, 192, 35, 126, 43, 185, 201, 35, 35,
				35, 34, 93, 92, 14, 0, 21, 200, 231, 187, 32, 4, 167, 201, 35,
				126, 205, 182, 24, 34, 93, 92, 254, 34, 32, 1, 13, 254, 58, 40,
				4, 254, 203, 32, 4, 203, 65, 40, 223, 254, 13, 32, 227, 21, 55,
				201, 229, 126, 254, 64, 56, 23, 203, 111, 40, 20, 135, 250,
				199, 25, 63, 1, 5, 0, 48, 2, 14, 18, 23, 35, 126, 48, 251, 24,
				6, 35, 35, 78, 35, 70, 35, 9, 209, 167, 237, 82, 68, 77, 25,
				235, 201, 205, 221, 25, 197, 120, 47, 71, 121, 47, 79, 3, 205,
				100, 22, 235, 225, 25, 213, 237, 176, 225, 201, 42, 89, 92, 43,
				34, 93, 92, 231, 33, 146, 92, 34, 101, 92, 205, 59, 45, 205,
				162, 45, 56, 4, 33, 240, 216, 9, 218, 138, 28, 195, 197, 22,
				213, 229, 175, 203, 120, 32, 32, 96, 105, 30, 255, 24, 8, 213,
				86, 35, 94, 229, 235, 30, 32, 1, 24, 252, 205, 42, 25, 1, 156,
				255, 205, 42, 25, 14, 246, 205, 42, 25, 125, 205, 239, 21, 225,
				209, 201, 177, 203, 188, 191, 196, 175, 180, 147, 145, 146,
				149, 152, 152, 152, 152, 152, 152, 152, 127, 129, 46, 108, 110,
				112, 72, 148, 86, 63, 65, 43, 23, 31, 55, 119, 68, 15, 89, 43,
				67, 45, 81, 58, 109, 66, 13, 73, 92, 68, 21, 93, 1, 61, 2, 6,
				0, 103, 30, 6, 203, 5, 240, 28, 6, 0, 237, 30, 0, 238, 28, 0,
				35, 31, 4, 61, 6, 204, 6, 5, 3, 29, 4, 0, 171, 29, 5, 205, 31,
				5, 137, 32, 5, 2, 44, 5, 178, 27, 0, 183, 17, 3, 161, 30, 5,
				249, 23, 8, 0, 128, 30, 3, 79, 30, 0, 95, 30, 3, 172, 30, 0,
				107, 13, 9, 0, 220, 34, 6, 0, 58, 31, 5, 237, 29, 5, 39, 30, 3,
				66, 30, 9, 5, 130, 35, 0, 172, 14, 5, 201, 31, 5, 245, 23, 11,
				11, 11, 11, 8, 0, 248, 3, 9, 5, 32, 35, 7, 7, 7, 7, 7, 7, 8, 0,
				122, 30, 6, 0, 148, 34, 5, 96, 31, 6, 44, 10, 0, 54, 23, 6, 0,
				229, 22, 10, 0, 147, 23, 10, 44, 10, 0, 147, 23, 10, 0, 147,
				23, 0, 147, 23, 253, 203, 1, 190, 205, 251, 25, 175, 50, 71,
				92, 61, 50, 58, 92, 24, 1, 231, 205, 191, 22, 253, 52, 13, 250,
				138, 28, 223, 6, 0, 254, 13, 40, 122, 254, 58, 40, 235, 33,
				118, 27, 229, 79, 231, 121, 214, 206, 218, 138, 28, 79, 33, 72,
				26, 9, 78, 9, 24, 3, 42, 116, 92, 126, 35, 34, 116, 92, 1, 82,
				27, 197, 79, 254, 32, 48, 12, 33, 1, 28, 6, 0, 9, 78, 9, 229,
				223, 5, 201, 223, 185, 194, 138, 28, 231, 201, 205, 84, 31, 56,
				2, 207, 20, 253, 203, 10, 126, 32, 113, 42, 66, 92, 203, 124,
				40, 20, 33, 254, 255, 34, 69, 92, 42, 97, 92, 43, 237, 91, 89,
				92, 27, 58, 68, 92, 24, 51, 205, 110, 25, 58, 68, 92, 40, 25,
				167, 32, 67, 71, 126, 230, 192, 120, 40, 15, 207, 255, 193,
				205, 48, 37, 200, 42, 85, 92, 62, 192, 166, 192, 175, 254, 1,
				206, 0, 86, 35, 94, 237, 83, 69, 92, 35, 94, 35, 86, 235, 25,
				35, 34, 85, 92, 235, 34, 93, 92, 87, 30, 0, 253, 54, 10, 255,
				21, 253, 114, 13, 202, 40, 27, 20, 205, 139, 25, 40, 8, 207,
				22, 205, 48, 37, 192, 193, 193, 223, 254, 13, 40, 186, 254, 58,
				202, 40, 27, 195, 138, 28, 15, 29, 75, 9, 103, 11, 123, 142,
				113, 180, 129, 207, 205, 222, 28, 191, 193, 204, 238, 27, 235,
				42, 116, 92, 78, 35, 70, 235, 197, 201, 205, 178, 40, 253, 54,
				55, 0, 48, 8, 253, 203, 55, 206, 32, 24, 207, 1, 204, 150, 41,
				253, 203, 1, 118, 32, 13, 175, 205, 48, 37, 196, 241, 43, 33,
				113, 92, 182, 119, 235, 237, 67, 114, 92, 34, 77, 92, 201, 193,
				205, 86, 28, 205, 238, 27, 201, 58, 59, 92, 245, 205, 251, 36,
				241, 253, 86, 1, 170, 230, 64, 32, 36, 203, 122, 194, 255, 42,
				201, 205, 178, 40, 245, 121, 246, 159, 60, 32, 20, 241, 24,
				169, 231, 205, 130, 28, 254, 44, 32, 9, 231, 205, 251, 36, 253,
				203, 1, 118, 192, 207, 11, 205, 251, 36, 253, 203, 1, 118, 200,
				24, 244, 253, 203, 1, 126, 253, 203, 2, 134, 196, 77, 13, 241,
				58, 116, 92, 214, 19, 205, 252, 33, 205, 238, 27, 42, 143, 92,
				34, 141, 92, 33, 145, 92, 126, 7, 174, 230, 170, 174, 119, 201,
				205, 48, 37, 40, 19, 253, 203, 2, 134, 205, 77, 13, 33, 144,
				92, 126, 246, 248, 119, 253, 203, 87, 182, 223, 205, 226, 33,
				24, 159, 195, 5, 6, 254, 13, 40, 4, 254, 58, 32, 156, 205, 48,
				37, 200, 239, 160, 56, 201, 207, 8, 193, 205, 48, 37, 40, 10,
				239, 2, 56, 235, 205, 233, 52, 218, 179, 27, 195, 41, 27, 254,
				205, 32, 9, 231, 205, 130, 28, 205, 238, 27, 24, 6, 205, 238,
				27, 239, 161, 56, 239, 192, 2, 1, 224, 1, 56, 205, 255, 42, 34,
				104, 92, 43, 126, 203, 254, 1, 6, 0, 9, 7, 56, 6, 14, 13, 205,
				85, 22, 35, 229, 239, 2, 2, 56, 225, 235, 14, 10, 237, 176, 42,
				69, 92, 235, 115, 35, 114, 253, 86, 13, 20, 35, 114, 205, 218,
				29, 208, 253, 70, 56, 42, 69, 92, 34, 66, 92, 58, 71, 92, 237,
				68, 87, 42, 93, 92, 30, 243, 197, 237, 75, 85, 92, 205, 134,
				29, 237, 67, 85, 92, 193, 56, 17, 231, 246, 32, 184, 40, 3,
				231, 24, 232, 231, 62, 1, 146, 50, 68, 92, 201, 207, 17, 126,
				254, 58, 40, 24, 35, 126, 230, 192, 55, 192, 70, 35, 78, 237,
				67, 66, 92, 35, 78, 35, 70, 229, 9, 68, 77, 225, 22, 0, 197,
				205, 139, 25, 193, 208, 24, 224, 253, 203, 55, 78, 194, 46, 28,
				42, 77, 92, 203, 126, 40, 31, 35, 34, 104, 92, 239, 224, 226,
				15, 192, 2, 56, 205, 218, 29, 216, 42, 104, 92, 17, 15, 0, 25,
				94, 35, 86, 35, 102, 235, 195, 115, 30, 207, 0, 239, 225, 224,
				226, 54, 0, 2, 1, 3, 55, 0, 4, 56, 167, 201, 56, 55, 201, 231,
				205, 31, 28, 205, 48, 37, 40, 41, 223, 34, 95, 92, 42, 87, 92,
				126, 254, 44, 40, 9, 30, 228, 205, 134, 29, 48, 2, 207, 13,
				205, 119, 0, 205, 86, 28, 223, 34, 87, 92, 42, 95, 92, 253, 54,
				38, 0, 205, 120, 0, 223, 254, 44, 40, 201, 205, 238, 27, 201,
				205, 48, 37, 32, 11, 205, 251, 36, 254, 44, 196, 238, 27, 231,
				24, 245, 62, 228, 71, 237, 185, 17, 0, 2, 195, 139, 25, 205,
				153, 30, 96, 105, 205, 110, 25, 43, 34, 87, 92, 201, 205, 153,
				30, 120, 177, 32, 4, 237, 75, 120, 92, 237, 67, 118, 92, 201,
				42, 110, 92, 253, 86, 54, 24, 12, 205, 153, 30, 96, 105, 22, 0,
				124, 254, 240, 48, 44, 34, 66, 92, 253, 114, 10, 201, 205, 133,
				30, 237, 121, 201, 205, 133, 30, 2, 201, 205, 213, 45, 56, 21,
				40, 2, 237, 68, 245, 205, 153, 30, 241, 201, 205, 213, 45, 24,
				3, 205, 162, 45, 56, 1, 200, 207, 10, 205, 103, 30, 1, 0, 0,
				205, 69, 30, 24, 3, 205, 153, 30, 120, 177, 32, 4, 237, 75,
				178, 92, 197, 237, 91, 75, 92, 42, 89, 92, 43, 205, 229, 25,
				205, 107, 13, 42, 101, 92, 17, 50, 0, 25, 209, 237, 82, 48, 8,
				42, 180, 92, 167, 237, 82, 48, 2, 207, 21, 235, 34, 178, 92,
				209, 193, 54, 62, 43, 249, 197, 237, 115, 61, 92, 235, 233,
				209, 253, 102, 13, 36, 227, 51, 237, 75, 69, 92, 197, 229, 237,
				115, 61, 92, 213, 205, 103, 30, 1, 20, 0, 42, 101, 92, 9, 56,
				10, 235, 33, 80, 0, 25, 56, 3, 237, 114, 216, 46, 3, 195, 85,
				0, 1, 0, 0, 205, 5, 31, 68, 77, 201, 193, 225, 209, 122, 254,
				62, 40, 11, 59, 227, 235, 237, 115, 61, 92, 197, 195, 115, 30,
				213, 229, 207, 6, 205, 153, 30, 118, 11, 120, 177, 40, 12, 120,
				161, 60, 32, 1, 3, 253, 203, 1, 110, 40, 238, 253, 203, 1, 174,
				201, 62, 127, 219, 254, 31, 216, 62, 254, 219, 254, 31, 201,
				205, 48, 37, 40, 5, 62, 206, 195, 57, 30, 253, 203, 1, 246,
				205, 141, 44, 48, 22, 231, 254, 36, 32, 5, 253, 203, 1, 182,
				231, 254, 40, 32, 60, 231, 254, 41, 40, 32, 205, 141, 44, 210,
				138, 28, 235, 231, 254, 36, 32, 2, 235, 231, 235, 1, 6, 0, 205,
				85, 22, 35, 35, 54, 14, 254, 44, 32, 3, 231, 24, 224, 254, 41,
				32, 19, 231, 254, 61, 32, 14, 231, 58, 59, 92, 245, 205, 251,
				36, 241, 253, 174, 1, 230, 64, 194, 138, 28, 205, 238, 27, 205,
				48, 37, 225, 200, 233, 62, 3, 24, 2, 62, 2, 205, 48, 37, 196,
				1, 22, 205, 77, 13, 205, 223, 31, 205, 238, 27, 201, 223, 205,
				69, 32, 40, 13, 205, 78, 32, 40, 251, 205, 252, 31, 205, 78,
				32, 40, 243, 254, 41, 200, 205, 195, 31, 62, 13, 215, 201, 223,
				254, 172, 32, 13 };
	}

	private int[] f5() {
		return new int[] { 205, 121, 28, 205, 195, 31, 205, 7, 35, 62, 22, 24,
				16, 254, 173, 32, 18, 231, 205, 130, 28, 205, 195, 31, 205,
				153, 30, 62, 23, 215, 121, 215, 120, 215, 201, 205, 242, 33,
				208, 205, 112, 32, 208, 205, 251, 36, 205, 195, 31, 253, 203,
				1, 118, 204, 241, 43, 194, 227, 45, 120, 177, 11, 200, 26, 19,
				215, 24, 247, 254, 41, 200, 254, 13, 200, 254, 58, 201, 223,
				254, 59, 40, 20, 254, 44, 32, 10, 205, 48, 37, 40, 11, 62, 6,
				215, 24, 6, 254, 39, 192, 205, 245, 31, 231, 205, 69, 32, 32,
				1, 193, 191, 201, 254, 35, 55, 192, 231, 205, 130, 28, 167,
				205, 195, 31, 205, 148, 30, 254, 16, 210, 14, 22, 205, 1, 22,
				167, 201, 205, 48, 37, 40, 8, 62, 1, 205, 1, 22, 205, 110, 13,
				253, 54, 2, 1, 205, 193, 32, 205, 238, 27, 237, 75, 136, 92,
				58, 107, 92, 184, 56, 3, 14, 33, 71, 237, 67, 136, 92, 62, 25,
				144, 50, 140, 92, 253, 203, 2, 134, 205, 217, 13, 195, 110, 13,
				205, 78, 32, 40, 251, 254, 40, 32, 14, 231, 205, 223, 31, 223,
				254, 41, 194, 138, 28, 231, 195, 178, 33, 254, 202, 32, 17,
				231, 205, 31, 28, 253, 203, 55, 254, 253, 203, 1, 118, 194,
				138, 28, 24, 13, 205, 141, 44, 210, 175, 33, 205, 31, 28, 253,
				203, 55, 190, 205, 48, 37, 202, 178, 33, 205, 191, 22, 33, 113,
				92, 203, 182, 203, 238, 1, 1, 0, 203, 126, 32, 11, 58, 59, 92,
				230, 64, 32, 2, 14, 3, 182, 119, 247, 54, 13, 121, 15, 15, 48,
				5, 62, 34, 18, 43, 119, 34, 91, 92, 253, 203, 55, 126, 32, 44,
				42, 93, 92, 229, 42, 61, 92, 229, 33, 58, 33, 229, 253, 203,
				48, 102, 40, 4, 237, 115, 61, 92, 42, 97, 92, 205, 167, 17,
				253, 54, 0, 255, 205, 44, 15, 253, 203, 1, 190, 205, 185, 33,
				24, 3, 205, 44, 15, 253, 54, 34, 0, 205, 214, 33, 32, 10, 205,
				29, 17, 237, 75, 130, 92, 205, 217, 13, 33, 113, 92, 203, 174,
				203, 126, 203, 190, 32, 28, 225, 225, 34, 61, 92, 225, 34, 95,
				92, 253, 203, 1, 254, 205, 185, 33, 42, 95, 92, 253, 54, 38, 0,
				34, 93, 92, 24, 23, 42, 99, 92, 237, 91, 97, 92, 55, 237, 82,
				68, 77, 205, 178, 42, 205, 255, 42, 24, 3, 205, 252, 31, 205,
				78, 32, 202, 193, 32, 201, 42, 97, 92, 34, 93, 92, 223, 254,
				226, 40, 12, 58, 113, 92, 205, 89, 28, 223, 254, 13, 200, 207,
				11, 205, 48, 37, 200, 207, 16, 42, 81, 92, 35, 35, 35, 35, 126,
				254, 75, 201, 231, 205, 242, 33, 216, 223, 254, 44, 40, 246,
				254, 59, 40, 242, 195, 138, 28, 254, 217, 216, 254, 223, 63,
				216, 245, 231, 241, 214, 201, 245, 205, 130, 28, 241, 167, 205,
				195, 31, 245, 205, 148, 30, 87, 241, 215, 122, 215, 201, 214,
				17, 206, 0, 40, 29, 214, 2, 206, 0, 40, 86, 254, 1, 122, 6, 1,
				32, 4, 7, 7, 6, 4, 79, 122, 254, 2, 48, 22, 121, 33, 145, 92,
				24, 56, 122, 6, 7, 56, 5, 7, 7, 7, 6, 56, 79, 122, 254, 10, 56,
				2, 207, 19, 33, 143, 92, 254, 8, 56, 11, 126, 40, 7, 176, 47,
				230, 36, 40, 1, 120, 79, 121, 205, 108, 34, 62, 7, 186, 159,
				205, 108, 34, 7, 7, 230, 80, 71, 62, 8, 186, 159, 174, 160,
				174, 119, 35, 120, 201, 159, 122, 15, 6, 128, 32, 3, 15, 6, 64,
				79, 122, 254, 8, 40, 4, 254, 2, 48, 189, 121, 33, 143, 92, 205,
				108, 34, 121, 15, 15, 15, 24, 216, 205, 148, 30, 254, 8, 48,
				169, 211, 254, 7, 7, 7, 203, 111, 32, 2, 238, 7, 50, 72, 92,
				201, 62, 175, 144, 218, 249, 36, 71, 167, 31, 55, 31, 167, 31,
				168, 230, 248, 168, 103, 121, 7, 7, 7, 168, 230, 199, 168, 7,
				7, 111, 121, 230, 7, 201, 205, 7, 35, 205, 170, 34, 71, 4, 126,
				7, 16, 253, 230, 1, 195, 40, 45, 205, 7, 35, 205, 229, 34, 195,
				77, 13, 237, 67, 125, 92, 205, 170, 34, 71, 4, 62, 254, 15, 16,
				253, 71, 126, 253, 78, 87, 203, 65, 32, 1, 160, 203, 81, 32, 2,
				168, 47, 119, 195, 219, 11, 205, 20, 35, 71, 197, 205, 20, 35,
				89, 193, 81, 79, 201, 205, 213, 45, 218, 249, 36, 14, 1, 200,
				14, 255, 201, 223, 254, 44, 194, 138, 28, 231, 205, 130, 28,
				205, 238, 27, 239, 42, 61, 56, 126, 254, 129, 48, 5, 239, 2,
				56, 24, 161, 239, 163, 56, 54, 131, 239, 197, 2, 56, 205, 125,
				36, 197, 239, 49, 225, 4, 56, 126, 254, 128, 48, 8, 239, 2, 2,
				56, 193, 195, 220, 34, 239, 194, 1, 192, 2, 3, 1, 224, 15, 192,
				1, 49, 224, 1, 49, 224, 160, 193, 2, 56, 253, 52, 98, 205, 148,
				30, 111, 229, 205, 148, 30, 225, 103, 34, 125, 92, 193, 195,
				32, 36, 223, 254, 44, 40, 6, 205, 238, 27, 195, 119, 36, 231,
				205, 130, 28, 205, 238, 27, 239, 197, 162, 4, 31, 49, 48, 48,
				0, 6, 2, 56, 195, 119, 36, 192, 2, 193, 2, 49, 42, 225, 1, 225,
				42, 15, 224, 5, 42, 224, 1, 61, 56, 126, 254, 129, 48, 7, 239,
				2, 2, 56, 195, 119, 36, 205, 125, 36, 197, 239, 2, 225, 1, 5,
				193, 2, 1, 49, 225, 4, 194, 2, 1, 49, 225, 4, 226, 229, 224, 3,
				162, 4, 49, 31, 197, 2, 32, 192, 2, 194, 2, 193, 229, 4, 224,
				226, 4, 15, 225, 1, 193, 2, 224, 4, 226, 229, 4, 3, 194, 42,
				225, 42, 15, 2, 56, 26, 254, 129, 193, 218, 119, 36, 197, 239,
				1, 56, 58, 125, 92, 205, 40, 45, 239, 192, 15, 1, 56, 58, 126,
				92, 205, 40, 45, 239, 197, 15, 224, 229, 56, 193, 5, 40, 60,
				24, 20, 239, 225, 49, 227, 4, 226, 228, 4, 3, 193, 2, 228, 4,
				226, 227, 4, 15, 194, 2, 56, 197, 239, 192, 2, 225, 15, 49, 56,
				58, 125, 92, 205, 40, 45, 239, 3, 224, 226, 15, 192, 1, 224,
				56, 58, 126, 92, 205, 40, 45, 239, 3, 56, 205, 183, 36, 193,
				16, 198, 239, 2, 2, 1, 56, 58, 125, 92, 205, 40, 45, 239, 3, 1,
				56, 58, 126, 92, 205, 40, 45, 239, 3, 56, 205, 183, 36, 195,
				77, 13, 239, 49, 40, 52, 50, 0, 1, 5, 229, 1, 5, 42, 56, 205,
				213, 45, 56, 6, 230, 252, 198, 4, 48, 2, 62, 252, 245, 205, 40,
				45, 239, 229, 1, 5, 49, 31, 196, 2, 49, 162, 4, 31, 193, 1,
				192, 2, 49, 4, 49, 15, 161, 3, 27, 195, 2, 56, 193, 201, 205,
				7, 35, 121, 184, 48, 6, 105, 213, 175, 95, 24, 7, 177, 200,
				104, 65, 213, 22, 0, 96, 120, 31, 133, 56, 3, 188, 56, 7, 148,
				79, 217, 193, 197, 24, 4, 79, 213, 217, 193, 42, 125, 92, 120,
				132, 71, 121, 60, 133, 56, 13, 40, 13, 61, 79, 205, 229, 34,
				217, 121, 16, 217, 209, 201, 40, 243, 207, 10, 223, 6, 0, 197,
				79, 33, 150, 37, 205, 220, 22, 121, 210, 132, 38, 6, 0, 78, 9,
				233, 205, 116, 0, 3, 254, 13, 202, 138, 28, 254, 34, 32, 243,
				205, 116, 0, 254, 34, 201, 231, 254, 40, 32, 6, 205, 121, 28,
				223, 254, 41, 194, 138, 28, 253, 203, 1, 126, 201, 205, 7, 35,
				42, 54, 92, 17, 0, 1, 25, 121, 15, 15, 15, 230, 224, 168, 95,
				121, 230, 24, 238, 64, 87, 6, 96, 197, 213, 229, 26, 174, 40,
				4, 60, 32, 26, 61, 79, 6, 7, 20, 35, 26, 174, 169, 32, 15, 16,
				247, 193, 193, 193, 62, 128, 144, 1, 1, 0, 247, 18, 24, 10,
				225, 17, 8, 0, 25, 209, 193, 16, 211, 72, 195, 178, 42, 205, 7,
				35, 121, 15, 15, 15, 79, 230, 224, 168, 111, 121, 230, 3, 238,
				88, 103, 126, 195, 40, 45, 34, 28, 40, 79, 46, 242, 43, 18,
				168, 86, 165, 87, 167, 132, 166, 143, 196, 230, 170, 191, 171,
				199, 169, 206, 0, 231, 195, 255, 36, 223, 35, 229, 1, 0, 0,
				205, 15, 37, 32, 27, 205, 15, 37, 40, 251, 205, 48, 37, 40, 17,
				247, 225, 213, 126, 35, 18, 19, 254, 34, 32, 248, 126, 35, 254,
				34, 40, 242, 11, 209, 33, 59, 92, 203, 182, 203, 126, 196, 178,
				42, 195, 18, 39, 231, 205, 251, 36, 254, 41, 194, 138, 28, 231,
				195, 18, 39, 195, 189, 39, 205, 48, 37, 40, 40, 237, 75, 118,
				92, 205, 43, 45, 239, 161, 15, 52, 55, 22, 4, 52, 128, 65, 0,
				0, 128, 50, 2, 161, 3, 49, 56, 205, 162, 45, 237, 67, 118, 92,
				126, 167, 40, 3, 214, 16, 119, 24, 9, 205, 48, 37, 40, 4, 239,
				163, 56, 52, 231, 195, 195, 38, 1, 90, 16, 231, 254, 35, 202,
				13, 39, 33, 59, 92, 203, 182, 203, 126, 40, 31, 205, 142, 2,
				14, 0, 32, 19, 205, 30, 3, 48, 14, 21, 95, 205, 51, 3, 245, 1,
				1, 0, 247, 241, 18, 14, 1, 6, 0, 205, 178, 42, 195, 18, 39,
				205, 34, 37, 196, 53, 37, 231, 195, 219, 37, 205, 34, 37, 196,
				128, 37, 231, 24, 72, 205, 34, 37, 196, 203, 34, 231, 24, 63,
				205, 136, 44, 48, 86, 254, 65, 48, 60, 205, 48, 37, 32, 35,
				205, 155, 44, 223, 1, 6, 0, 205, 85, 22, 35, 54, 14, 35, 235,
				42, 101, 92, 14, 5, 167, 237, 66, 34, 101, 92, 237, 176, 235,
				43, 205, 119, 0, 24, 14, 223, 35, 126, 254, 14, 32, 250, 35,
				205, 180, 51, 34, 93, 92, 253, 203, 1, 246, 24, 20, 205, 178,
				40, 218, 46, 28, 204, 150, 41, 58, 59, 92, 254, 192, 56, 4, 35,
				205, 180, 51, 24, 51, 1, 219, 9, 254, 45, 40, 39, 1, 24, 16,
				254, 174, 40, 32, 214, 175, 218, 138, 28, 1, 240, 4, 254, 20,
				40, 20, 210, 138, 28, 6, 16, 198, 220, 79, 254, 223, 48, 2,
				203, 177, 254, 238, 56, 2, 203, 185, 197, 231, 195, 255, 36,
				223, 254, 40, 32, 12, 253, 203, 1, 118, 32, 23, 205, 82, 42,
				231, 24, 240, 6, 0, 79, 33, 149, 39, 205, 220, 22, 48, 6, 78,
				33, 237, 38, 9, 70, 209, 122, 184, 56, 58, 167, 202, 24, 0,
				197, 33, 59, 92, 123, 254, 237, 32, 6, 203, 118, 32, 2, 30,
				153, 213, 205, 48, 37, 40, 9, 123, 230, 63, 71, 239, 59, 56,
				24, 9, 123, 253, 174, 1, 230, 64, 194, 138, 28, 209, 33, 59,
				92, 203, 246, 203, 123, 32, 2, 203, 182, 193, 24, 193, 213,
				121, 253, 203, 1, 118, 32, 21, 230, 63, 198, 8, 79, 254, 16,
				32, 4, 203, 241, 24, 8, 56, 215, 254, 23, 40, 2, 203, 249, 197,
				231, 195, 255, 36, 43, 207, 45, 195, 42, 196, 47, 197, 94, 198,
				61, 206, 62, 204, 60, 205, 199, 201, 200, 202, 201, 203, 197,
				199, 198, 200, 0, 6, 8, 8, 10, 2, 3, 5, 5, 5, 5, 5, 5, 6, 205,
				48, 37, 32, 53, 231, 205, 141, 44, 210, 138, 28, 231, 254, 36,
				245, 32, 1, 231, 254, 40, 32, 18, 231, 254, 41, 40, 16, 205,
				251, 36, 223, 254, 44, 32, 3, 231, 24, 245, 254, 41, 194, 138,
				28, 231, 33, 59, 92, 203, 182, 241, 40, 2, 203, 246, 195, 18,
				39, 231, 230, 223, 71, 231, 214, 36, 79, 32, 1 };
	}

	private int[] f6() {
		return new int[] { 231, 231, 229, 42, 83, 92, 43, 17, 206, 0, 197, 205,
				134, 29, 193, 48, 2, 207, 24, 229, 205, 171, 40, 230, 223, 184,
				32, 8, 205, 171, 40, 214, 36, 185, 40, 12, 225, 43, 17, 0, 2,
				197, 205, 139, 25, 193, 24, 215, 167, 204, 171, 40, 209, 209,
				237, 83, 93, 92, 205, 171, 40, 229, 254, 41, 40, 66, 35, 126,
				254, 14, 22, 64, 40, 7, 43, 205, 171, 40, 35, 22, 0, 35, 229,
				213, 205, 251, 36, 241, 253, 174, 1, 230, 64, 32, 43, 225, 235,
				42, 101, 92, 1, 5, 0, 237, 66, 34, 101, 92, 237, 176, 235, 43,
				205, 171, 40, 254, 41, 40, 13, 229, 223, 254, 44, 32, 13, 231,
				225, 205, 171, 40, 24, 190, 229, 223, 254, 41, 40, 2, 207, 25,
				209, 235, 34, 93, 92, 42, 11, 92, 227, 34, 11, 92, 213, 231,
				231, 205, 251, 36, 225, 34, 93, 92, 225, 34, 11, 92, 231, 195,
				18, 39, 35, 126, 254, 33, 56, 250, 201, 253, 203, 1, 246, 223,
				205, 141, 44, 210, 138, 28, 229, 230, 31, 79, 231, 229, 254,
				40, 40, 40, 203, 241, 254, 36, 40, 17, 203, 233, 205, 136, 44,
				48, 15, 205, 136, 44, 48, 22, 203, 177, 231, 24, 246, 231, 253,
				203, 1, 182, 58, 12, 92, 167, 40, 6, 205, 48, 37, 194, 81, 41,
				65, 205, 48, 37, 32, 8, 121, 230, 224, 203, 255, 79, 24, 55,
				42, 75, 92, 126, 230, 127, 40, 45, 185, 32, 34, 23, 135, 242,
				63, 41, 56, 48, 209, 213, 229, 35, 26, 19, 254, 32, 40, 250,
				246, 32, 190, 40, 244, 246, 128, 190, 32, 6, 26, 205, 136, 44,
				48, 21, 225, 197, 205, 184, 25, 235, 193, 24, 206, 203, 248,
				209, 223, 254, 40, 40, 9, 203, 232, 24, 13, 209, 209, 209, 229,
				223, 205, 136, 44, 48, 3, 231, 24, 248, 225, 203, 16, 203, 112,
				201, 42, 11, 92, 126, 254, 41, 202, 239, 40, 126, 246, 96, 71,
				35, 126, 254, 14, 40, 7, 43, 205, 171, 40, 35, 203, 168, 120,
				185, 40, 18, 35, 35, 35, 35, 35, 205, 171, 40, 254, 41, 202,
				239, 40, 205, 171, 40, 24, 217, 203, 105, 32, 12, 35, 237, 91,
				101, 92, 205, 192, 51, 235, 34, 101, 92, 209, 209, 175, 60,
				201, 175, 71, 203, 121, 32, 75, 203, 126, 32, 14, 60, 35, 78,
				35, 70, 35, 235, 205, 178, 42, 223, 195, 73, 42, 35, 35, 35,
				70, 203, 113, 40, 10, 5, 40, 232, 235, 223, 254, 40, 32, 97,
				235, 235, 24, 36, 229, 223, 225, 254, 44, 40, 32, 203, 121, 40,
				82, 203, 113, 32, 6, 254, 41, 32, 60, 231, 201, 254, 41, 40,
				108, 254, 204, 32, 50, 223, 43, 34, 93, 92, 24, 94, 33, 0, 0,
				229, 231, 225, 121, 254, 192, 32, 9, 223, 254, 41, 40, 81, 254,
				204, 40, 229, 197, 229, 205, 238, 42, 227, 235, 205, 204, 42,
				56, 25, 11, 205, 244, 42, 9, 209, 193, 16, 179, 203, 121, 32,
				102, 229, 203, 113, 32, 19, 66, 75, 223, 254, 41, 40, 2, 207,
				2, 231, 225, 17, 5, 0, 205, 244, 42, 9, 201, 205, 238, 42, 227,
				205, 244, 42, 193, 9, 35, 66, 75, 235, 205, 177, 42, 223, 254,
				41, 40, 7, 254, 44, 32, 219, 205, 82, 42, 231, 254, 40, 40,
				248, 253, 203, 1, 182, 201, 205, 48, 37, 196, 241, 43, 231,
				254, 41, 40, 80, 213, 175, 245, 197, 17, 1, 0, 223, 225, 254,
				204, 40, 23, 241, 205, 205, 42, 245, 80, 89, 229, 223, 225,
				254, 204, 40, 9, 254, 41, 194, 138, 28, 98, 107, 24, 19, 229,
				231, 225, 254, 41, 40, 12, 241, 205, 205, 42, 245, 223, 96,
				105, 254, 41, 32, 230, 241, 227, 25, 43, 227, 167, 237, 82, 1,
				0, 0, 56, 7, 35, 167, 250, 32, 42, 68, 77, 209, 253, 203, 1,
				182, 205, 48, 37, 200, 175, 253, 203, 1, 182, 197, 205, 169,
				51, 193, 42, 101, 92, 119, 35, 115, 35, 114, 35, 113, 35, 112,
				35, 34, 101, 92, 201, 175, 213, 229, 245, 205, 130, 28, 241,
				205, 48, 37, 40, 18, 245, 205, 153, 30, 209, 120, 177, 55, 40,
				5, 225, 229, 167, 237, 66, 122, 222, 0, 225, 209, 201, 235, 35,
				94, 35, 86, 201, 205, 48, 37, 200, 205, 169, 48, 218, 21, 31,
				201, 42, 77, 92, 253, 203, 55, 78, 40, 94, 1, 5, 0, 3, 35, 126,
				254, 32, 40, 250, 48, 11, 254, 16, 56, 17, 254, 22, 48, 13, 35,
				24, 237, 205, 136, 44, 56, 231, 254, 36, 202, 192, 43, 121, 42,
				89, 92, 43, 205, 85, 22, 35, 35, 235, 213, 42, 77, 92, 27, 214,
				6, 71, 40, 17, 35, 126, 254, 33, 56, 250, 246, 32, 19, 18, 16,
				244, 246, 128, 18, 62, 192, 42, 77, 92, 174, 246, 32, 225, 205,
				234, 43, 229, 239, 2, 56, 225, 1, 5, 0, 167, 237, 66, 24, 64,
				253, 203, 1, 118, 40, 6, 17, 6, 0, 25, 24, 231, 42, 77, 92,
				237, 75, 114, 92, 253, 203, 55, 70, 32, 48, 120, 177, 200, 229,
				247, 213, 197, 84, 93, 35, 54, 32, 237, 184, 229, 205, 241, 43,
				225, 227, 167, 237, 66, 9, 48, 2, 68, 77, 227, 235, 120, 177,
				40, 2, 237, 176, 193, 209, 225, 235, 120, 177, 200, 213, 237,
				176, 225, 201, 43, 43, 43, 126, 229, 197, 205, 198, 43, 193,
				225, 3, 3, 3, 195, 232, 25, 62, 223, 42, 77, 92, 166, 245, 205,
				241, 43, 235, 9, 197, 43, 34, 77, 92, 3, 3, 3, 42, 89, 92, 43,
				205, 85, 22, 42, 77, 92, 193, 197, 3, 237, 184, 235, 35, 193,
				112, 43, 113, 241, 43, 119, 42, 89, 92, 43, 201, 42, 101, 92,
				43, 70, 43, 78, 43, 86, 43, 94, 43, 126, 34, 101, 92, 201, 205,
				178, 40, 194, 138, 28, 205, 48, 37, 32, 8, 203, 177, 205, 150,
				41, 205, 238, 27, 56, 8, 197, 205, 184, 25, 205, 232, 25, 193,
				203, 249, 6, 0, 197, 33, 1, 0, 203, 113, 32, 2, 46, 5, 235,
				231, 38, 255, 205, 204, 42, 218, 32, 42, 225, 197, 36, 229, 96,
				105, 205, 244, 42, 235, 223, 254, 44, 40, 232, 254, 41, 32,
				187, 231, 193, 121, 104, 38, 0, 35, 35, 41, 25, 218, 21, 31,
				213, 197, 229, 68, 77, 42, 89, 92, 43, 205, 85, 22, 35, 119,
				193, 11, 11, 11, 35, 113, 35, 112, 193, 120, 35, 119, 98, 107,
				27, 54, 0, 203, 113, 40, 2, 54, 32, 193, 237, 184, 193, 112,
				43, 113, 43, 61, 32, 248, 201, 205, 27, 45, 63, 216, 254, 65,
				63, 208, 254, 91, 216, 254, 97, 63, 208, 254, 123, 201, 254,
				196, 32, 25, 17, 0, 0, 231, 214, 49, 206, 0, 32, 10, 235, 63,
				237, 106, 218, 173, 49, 235, 24, 239, 66, 75, 195, 43, 45, 254,
				46, 40, 15, 205, 59, 45, 254, 46, 32, 40, 231, 205, 27, 45, 56,
				34, 24, 10, 231, 205, 27, 45, 218, 138, 28, 239, 160, 56, 239,
				161, 192, 2, 56, 223, 205, 34, 45, 56, 11, 239, 224, 164, 5,
				192, 4, 15, 56, 231, 24, 239, 254, 69, 40, 3, 254, 101, 192, 6,
				255, 231, 254, 43, 40, 5, 254, 45, 32, 2, 4, 231, 205, 27, 45,
				56, 203, 197, 205, 59, 45, 205, 213, 45, 193, 218, 173, 49,
				167, 250, 173, 49, 4, 40, 2, 237, 68, 195, 79, 45, 254, 48,
				216, 254, 58, 63, 201, 205, 27, 45, 216, 214, 48, 79, 6, 0,
				253, 33, 58, 92, 175, 95, 81, 72, 71, 205, 182, 42, 239, 56,
				167, 201, 245, 239, 160, 56, 241, 205, 34, 45, 216, 239, 1,
				164, 4, 15, 56, 205, 116, 0, 24, 241, 7, 15, 48, 2, 47, 60,
				245, 33, 146, 92, 205, 11, 53, 239, 164, 56, 241, 203, 63, 48,
				13, 245, 239, 193, 224, 0, 4, 4, 51, 2, 5, 225, 56, 241, 40, 8,
				245, 239, 49, 4, 56, 241, 24, 229, 239, 2, 56, 201, 35, 78, 35,
				126, 169, 145, 95, 35, 126, 137, 169, 87, 201, 14, 0, 229, 54,
				0, 35, 113, 35, 123, 169, 145, 119, 35, 122, 137, 169, 119, 35,
				54, 0, 225, 201, 239, 56, 126, 167, 40, 5, 239, 162, 15, 39,
				56, 239, 2, 56, 229, 213, 235, 70, 205, 127, 45, 175, 144, 203,
				121, 66, 75, 123, 209, 225, 201, 87, 23, 159, 95, 79, 175, 71,
				205, 182, 42, 239, 52, 239, 26, 32, 154, 133, 4, 39, 56, 205,
				162, 45, 216, 245, 5, 4, 40, 3, 241, 55, 201, 241, 201, 239,
				49, 54, 0, 11, 49, 55, 0, 13, 2, 56, 62, 48, 215, 201, 42, 56,
				62, 45, 215, 239, 160, 195, 196, 197, 2, 56, 217, 229, 217,
				239, 49, 39, 194, 3, 226, 1, 194, 2, 56, 126, 167, 32, 71, 205,
				127, 45, 6, 16, 122, 167, 32, 6, 179, 40, 9, 83, 6, 8, 213,
				217, 209, 217, 24, 87, 239, 226, 56, 126, 214, 126, 205, 193,
				45, 87, 58, 172, 92, 146, 50, 172, 92, 122, 205, 79, 45, 239,
				49, 39, 193, 3, 225, 56, 205, 213, 45, 229, 50, 161, 92, 61,
				23, 159, 60, 33, 171, 92, 119, 35, 134, 119, 225, 195, 207, 46,
				214, 128, 254, 28, 56, 19, 205, 193, 45, 214, 7, 71, 33, 172,
				92, 134, 119, 120, 237, 68, 205, 79, 45, 24, 146, 235, 205,
				186, 47, 217, 203, 250, 125, 217, 214, 128, 71, 203, 35, 203,
				18, 217, 203, 19, 203, 18, 217, 33, 170, 92, 14, 5, 126, 143,
				39, 119, 43, 13, 32, 248, 16, 231, 175, 33, 166, 92, 17, 161,
				92, 6, 9, 237, 111, 14, 255, 237, 111, 32, 4, 13, 12, 32, 10,
				18, 19, 253, 52, 113, 253, 52, 114, 14, 0, 203, 64, 40, 1, 35,
				16, 231, 58, 171, 92, 214, 9, 56, 10, 253, 53, 113, 62, 4, 253,
				190, 111, 24, 65, 239, 2, 226, 56, 235, 205, 186, 47, 217, 62,
				128, 149, 46, 0, 203, 250, 217, 205, 221, 47, 253, 126, 113,
				254, 8, 56, 6, 217, 203, 18, 217, 24, 32, 1, 0, 2, 123, 205,
				139, 47, 95, 122, 205, 139, 47, 87, 197, 217, 193, 16, 241, 33,
				161, 92, 121, 253, 78, 113, 9, 119, 253, 52, 113, 24, 211, 245,
				33, 161, 92, 253, 78, 113, 6, 0, 9, 65, 241, 43, 126, 206, 0,
				119, 167, 40, 5, 254, 10, 63, 48, 8, 16, 241, 54, 1, 4, 253,
				52, 114, 253, 112, 113, 239, 2, 56, 217, 225, 217, 237, 75,
				171, 92, 33, 161, 92, 120, 254, 9, 56, 4, 254, 252, 56, 38,
				167, 204, 239, 21, 175, 144, 250, 82, 47, 71, 24, 12, 121, 167,
				40, 3, 126, 35, 13, 205, 239, 21, 16, 244, 121, 167, 200, 4,
				62, 46, 215, 62, 48, 16, 251, 65, 24, 230, 80, 21, 6, 1, 205,
				74, 47, 62, 69, 215, 74, 121, 167, 242, 131, 47, 237, 68, 79,
				62, 45, 24, 2, 62, 43, 215, 6, 0, 195, 27, 26, 213, 111, 38, 0,
				93, 84, 41, 41, 25, 41, 89, 25, 76, 125, 209, 201, 126, 54, 0,
				167, 200, 35, 203, 126, 203, 254, 43, 200, 197, 1, 5, 0, 9, 65,
				79, 55, 43, 126, 47, 206, 0, 119, 16, 248, 121, 193, 201, 229,
				245, 78, 35, 70, 119, 35, 121, 78, 197, 35, 78, 35, 70, 235,
				87, 94, 213, 35, 86, 35, 94, 213, 217, 209, 225, 193, 217, 35,
				86, 35, 94, 241, 225, 201, 167, 200, 254, 33, 48, 22, 197, 71,
				217, 203, 45, 203, 26, 203, 27, 217, 203, 26, 203, 27, 16, 242,
				193, 208, 205, 4, 48, 192, 217, 175, 46, 0, 87, 93, 217, 17 };
	}

	private int[] f7() {
		return new int[] { 0, 0, 201, 28, 192, 20, 192, 217, 28, 32, 1, 20,
				217, 201, 235, 205, 110, 52, 235, 26, 182, 32, 38, 213, 35,
				229, 35, 94, 35, 86, 35, 35, 35, 126, 35, 78, 35, 70, 225, 235,
				9, 235, 142, 15, 206, 0, 32, 11, 159, 119, 35, 115, 35, 114,
				43, 43, 43, 209, 201, 43, 209, 205, 147, 50, 217, 229, 217,
				213, 229, 205, 155, 47, 71, 235, 205, 155, 47, 79, 184, 48, 3,
				120, 65, 235, 245, 144, 205, 186, 47, 205, 221, 47, 241, 225,
				119, 229, 104, 97, 25, 217, 235, 237, 74, 235, 124, 141, 111,
				31, 173, 217, 235, 225, 31, 48, 8, 62, 1, 205, 221, 47, 52, 40,
				35, 217, 125, 230, 128, 217, 35, 119, 43, 40, 31, 123, 237, 68,
				63, 95, 122, 47, 206, 0, 87, 217, 123, 47, 206, 0, 95, 122, 47,
				206, 0, 48, 7, 31, 217, 52, 202, 173, 49, 217, 87, 217, 175,
				195, 85, 49, 197, 6, 16, 124, 77, 33, 0, 0, 41, 56, 10, 203,
				17, 23, 48, 3, 25, 56, 2, 16, 243, 193, 201, 205, 233, 52, 216,
				35, 174, 203, 254, 43, 201, 26, 182, 32, 34, 213, 229, 213,
				205, 127, 45, 235, 227, 65, 205, 127, 45, 120, 169, 79, 225,
				205, 169, 48, 235, 225, 56, 10, 122, 179, 32, 1, 79, 205, 142,
				45, 209, 201, 209, 205, 147, 50, 175, 205, 192, 48, 216, 217,
				229, 217, 213, 235, 205, 192, 48, 235, 56, 90, 229, 205, 186,
				47, 120, 167, 237, 98, 217, 229, 237, 98, 217, 6, 33, 24, 17,
				48, 5, 25, 217, 237, 90, 217, 217, 203, 28, 203, 29, 217, 203,
				28, 203, 29, 217, 203, 24, 203, 25, 217, 203, 25, 31, 16, 228,
				235, 217, 235, 217, 193, 225, 120, 129, 32, 1, 167, 61, 63, 23,
				63, 31, 242, 70, 49, 48, 104, 167, 60, 32, 8, 56, 6, 217, 203,
				122, 217, 32, 92, 119, 217, 120, 217, 48, 21, 126, 167, 62,
				128, 40, 1, 175, 217, 162, 205, 251, 47, 7, 119, 56, 46, 35,
				119, 43, 24, 41, 6, 32, 217, 203, 122, 217, 32, 18, 7, 203, 19,
				203, 18, 217, 203, 19, 203, 18, 217, 53, 40, 215, 16, 234, 24,
				215, 23, 48, 12, 205, 4, 48, 32, 7, 217, 22, 128, 217, 52, 40,
				24, 229, 35, 217, 213, 217, 193, 120, 23, 203, 22, 31, 119, 35,
				113, 35, 114, 35, 115, 225, 209, 217, 225, 217, 201, 207, 5,
				205, 147, 50, 235, 175, 205, 192, 48, 56, 244, 235, 205, 192,
				48, 216, 217, 229, 217, 213, 229, 205, 186, 47, 217, 229, 96,
				105, 217, 97, 104, 175, 6, 223, 24, 16, 23, 203, 17, 217, 203,
				17, 203, 16, 217, 41, 217, 237, 106, 217, 56, 16, 237, 82, 217,
				237, 82, 217, 48, 15, 25, 217, 237, 90, 217, 167, 24, 8, 167,
				237, 82, 217, 237, 82, 217, 55, 4, 250, 210, 49, 245, 40, 225,
				95, 81, 217, 89, 80, 241, 203, 24, 241, 203, 24, 217, 193, 225,
				120, 145, 195, 61, 49, 126, 167, 200, 254, 129, 48, 6, 54, 0,
				62, 32, 24, 81, 254, 145, 32, 26, 35, 35, 35, 62, 128, 166, 43,
				182, 43, 32, 3, 62, 128, 174, 43, 32, 54, 119, 35, 54, 255, 43,
				62, 24, 24, 51, 48, 44, 213, 47, 198, 145, 35, 86, 35, 94, 43,
				43, 14, 0, 203, 122, 40, 1, 13, 203, 250, 6, 8, 144, 128, 56,
				4, 90, 22, 0, 144, 40, 7, 71, 203, 58, 203, 27, 16, 250, 205,
				142, 45, 209, 201, 126, 214, 160, 240, 237, 68, 213, 235, 43,
				71, 203, 56, 203, 56, 203, 56, 40, 5, 54, 0, 43, 16, 251, 230,
				7, 40, 9, 71, 62, 255, 203, 39, 16, 252, 166, 119, 235, 209,
				201, 205, 150, 50, 235, 126, 167, 192, 213, 205, 127, 45, 175,
				35, 119, 43, 119, 6, 145, 122, 167, 32, 8, 179, 66, 40, 16, 83,
				88, 6, 137, 235, 5, 41, 48, 252, 203, 9, 203, 28, 203, 29, 235,
				43, 115, 43, 114, 43, 112, 209, 201, 0, 176, 0, 64, 176, 0, 1,
				48, 0, 241, 73, 15, 218, 162, 64, 176, 0, 10, 143, 54, 60, 52,
				161, 51, 15, 48, 202, 48, 175, 49, 81, 56, 27, 53, 36, 53, 59,
				53, 59, 53, 59, 53, 59, 53, 59, 53, 59, 53, 20, 48, 45, 53, 59,
				53, 59, 53, 59, 53, 59, 53, 59, 53, 59, 53, 156, 53, 222, 53,
				188, 52, 69, 54, 110, 52, 105, 54, 222, 53, 116, 54, 181, 55,
				170, 55, 218, 55, 51, 56, 67, 56, 226, 55, 19, 55, 196, 54,
				175, 54, 74, 56, 146, 52, 106, 52, 172, 52, 165, 52, 179, 52,
				31, 54, 201, 53, 1, 53, 192, 51, 160, 54, 134, 54, 198, 51,
				122, 54, 6, 53, 249, 52, 155, 54, 131, 55, 20, 50, 162, 51, 79,
				45, 151, 50, 73, 52, 27, 52, 45, 52, 15, 52, 205, 191, 53, 120,
				50, 103, 92, 217, 227, 217, 237, 83, 101, 92, 217, 126, 35,
				229, 167, 242, 128, 51, 87, 230, 96, 15, 15, 15, 15, 198, 124,
				111, 122, 230, 31, 24, 14, 254, 24, 48, 8, 217, 1, 251, 255,
				84, 93, 9, 217, 7, 111, 17, 215, 50, 38, 0, 25, 94, 35, 86, 33,
				101, 51, 227, 213, 217, 237, 75, 102, 92, 201, 241, 58, 103,
				92, 217, 24, 195, 213, 229, 1, 5, 0, 205, 5, 31, 225, 209, 201,
				237, 91, 101, 92, 205, 192, 51, 237, 83, 101, 92, 201, 205,
				169, 51, 237, 176, 201, 98, 107, 205, 169, 51, 217, 229, 217,
				227, 197, 126, 230, 192, 7, 7, 79, 12, 126, 230, 63, 32, 2, 35,
				126, 198, 80, 18, 62, 5, 145, 35, 19, 6, 0, 237, 176, 193, 227,
				217, 225, 217, 71, 175, 5, 200, 18, 19, 24, 250, 167, 200, 245,
				213, 17, 0, 0, 205, 200, 51, 209, 241, 61, 24, 242, 79, 7, 7,
				129, 79, 6, 0, 9, 201, 213, 42, 104, 92, 205, 6, 52, 205, 192,
				51, 225, 201, 98, 107, 217, 229, 33, 197, 50, 217, 205, 247,
				51, 205, 200, 51, 217, 225, 217, 201, 229, 235, 42, 104, 92,
				205, 6, 52, 235, 205, 192, 51, 235, 225, 201, 6, 5, 26, 78,
				235, 18, 113, 35, 19, 16, 247, 235, 201, 71, 205, 94, 51, 49,
				15, 192, 2, 160, 194, 49, 224, 4, 226, 193, 3, 56, 205, 198,
				51, 205, 98, 51, 15, 1, 194, 2, 53, 238, 225, 3, 56, 201, 6,
				255, 24, 6, 205, 233, 52, 216, 6, 0, 126, 167, 40, 11, 35, 120,
				230, 128, 182, 23, 63, 31, 119, 43, 201, 213, 229, 205, 127,
				45, 225, 120, 177, 47, 79, 205, 142, 45, 209, 201, 205, 233,
				52, 216, 213, 17, 1, 0, 35, 203, 22, 43, 159, 79, 205, 142, 45,
				209, 201, 205, 153, 30, 237, 120, 24, 4, 205, 153, 30, 10, 195,
				40, 45, 205, 153, 30, 33, 43, 45, 229, 197, 201, 205, 241, 43,
				11, 120, 177, 32, 35, 26, 205, 141, 44, 56, 9, 214, 144, 56,
				25, 254, 21, 48, 21, 60, 61, 135, 135, 135, 254, 168, 48, 12,
				237, 75, 123, 92, 129, 79, 48, 1, 4, 195, 43, 45, 207, 9, 229,
				197, 71, 126, 35, 182, 35, 182, 35, 182, 120, 193, 225, 192,
				55, 201, 205, 233, 52, 216, 62, 255, 24, 6, 205, 233, 52, 24,
				5, 175, 35, 174, 43, 7, 229, 62, 0, 119, 35, 119, 35, 23, 119,
				31, 35, 119, 35, 119, 225, 201, 235, 205, 233, 52, 235, 216,
				55, 24, 231, 235, 205, 233, 52, 235, 208, 167, 24, 222, 235,
				205, 233, 52, 235, 208, 213, 27, 175, 18, 27, 18, 209, 201,
				120, 214, 8, 203, 87, 32, 1, 61, 15, 48, 8, 245, 229, 205, 60,
				52, 209, 235, 241, 203, 87, 32, 7, 15, 245, 205, 15, 48, 24,
				51, 15, 245, 205, 241, 43, 213, 197, 205, 241, 43, 225, 124,
				181, 227, 120, 32, 11, 177, 193, 40, 4, 241, 63, 24, 22, 241,
				24, 19, 177, 40, 13, 26, 150, 56, 9, 32, 237, 11, 19, 35, 227,
				43, 24, 223, 193, 241, 167, 245, 239, 160, 56, 241, 245, 220,
				1, 53, 241, 245, 212, 249, 52, 241, 15, 212, 1, 53, 201, 205,
				241, 43, 213, 197, 205, 241, 43, 225, 229, 213, 197, 9, 68, 77,
				247, 205, 178, 42, 193, 225, 120, 177, 40, 2, 237, 176, 193,
				225, 120, 177, 40, 2, 237, 176, 42, 101, 92, 17, 251, 255, 229,
				25, 209, 201, 205, 213, 45, 56, 14, 32, 12, 245, 1, 1, 0, 247,
				241, 18, 205, 178, 42, 235, 201, 207, 10, 42, 93, 92, 229, 120,
				198, 227, 159, 245, 205, 241, 43, 213, 3, 247, 225, 237, 83,
				93, 92, 213, 237, 176, 235, 43, 54, 13, 253, 203, 1, 190, 205,
				251, 36, 223, 254, 13, 32, 7, 225, 241, 253, 174, 1, 230, 64,
				194, 138, 28, 34, 93, 92, 253, 203, 1, 254, 205, 251, 36, 225,
				34, 93, 92, 24, 160, 1, 1, 0, 247, 34, 91, 92, 229, 42, 81, 92,
				229, 62, 255, 205, 1, 22, 205, 227, 45, 225, 205, 21, 22, 209,
				42, 91, 92, 167, 237, 82, 68, 77, 205, 178, 42, 235, 201, 205,
				148, 30, 254, 16, 210, 159, 30, 42, 81, 92, 229, 205, 1, 22,
				205, 230, 21, 1, 0, 0, 48, 3, 12, 247, 18, 205, 178, 42, 225,
				205, 21, 22, 195, 191, 53, 205, 241, 43, 120, 177, 40, 1, 26,
				195, 40, 45, 205, 241, 43, 195, 43, 45, 217, 229, 33, 103, 92,
				53, 225, 32, 4, 35, 217, 201, 217, 94, 123, 23, 159, 87, 25,
				217, 201, 19, 19, 26, 27, 27, 167, 32, 239, 217, 35, 217, 201,
				241, 217, 227, 217, 201, 239, 192, 2, 49, 224, 5, 39, 224, 1,
				192, 4, 3, 224, 56, 201, 239, 49, 54, 0, 4, 58, 56, 201, 49,
				58, 192, 3, 224, 1, 48, 0, 3, 161, 3, 56, 201, 239, 61, 52,
				241, 56, 170, 59, 41, 4, 49, 39, 195, 3, 49, 15, 161, 3, 136,
				19, 54, 88, 101, 102, 157, 120, 101, 64, 162, 96, 50, 201, 231,
				33, 247, 175, 36, 235, 47, 176, 176, 20, 238, 126, 187, 148,
				88, 241, 58, 126, 248, 207, 227, 56, 205, 213, 45, 32, 7, 56,
				3, 134, 48, 9, 207, 5, 56, 7, 150, 48, 4, 237, 68, 119, 201,
				239, 2, 160, 56, 201, 239, 61, 49, 55, 0, 4, 56, 207, 9, 160,
				2, 56, 126, 54, 128, 205, 40, 45, 239, 52, 56, 0, 3, 1, 49, 52,
				240, 76, 204, 204, 205, 3, 55, 0, 8, 1, 161, 3, 1, 56, 52, 239,
				1, 52, 240, 49, 114, 23, 248, 4, 1, 162, 3, 162, 3, 49, 52, 50,
				32, 4, 162, 3, 140, 17, 172, 20, 9, 86, 218, 165, 89, 48, 197,
				92, 144, 170, 158, 112, 111, 97, 161, 203, 218, 150, 164, 49,
				159, 180, 231, 160, 254, 92, 252, 234, 27, 67, 202, 54, 237,
				167, 156, 126, 94, 240, 110, 35, 128, 147, 4, 15, 56, 201, 239,
				61, 52, 238, 34, 249, 131, 110, 4, 49, 162, 15, 39, 3, 49, 15,
				49, 15, 49, 42, 161, 3, 49, 55, 192, 0, 4, 2, 56, 201, 161, 3,
				1, 54, 0, 2, 27, 56, 201, 239, 57, 42, 161, 3, 224, 0, 6, 27,
				51, 3, 239, 57, 49, 49, 4, 49, 15, 161, 3, 134, 20, 230, 92,
				31, 11, 163, 143, 56, 238, 233, 21, 99, 187, 35, 238, 146, 13,
				205, 237, 241, 35, 93, 27, 234, 4, 56, 201, 239, 49, 31, 1, 32,
				5, 56, 201, 205, 151, 50, 126, 254, 129, 56, 14, 239, 161, 27,
				1, 5, 49, 54, 163, 1, 0, 6, 27, 51, 3, 239, 160, 1, 49, 49, 4,
				49, 15, 161 };
	}

	private int[] f8() {
		return new int[] { 3, 140, 16, 178, 19, 14, 85, 228, 141, 88, 57, 188,
				91, 152, 253, 158, 0, 54, 117, 160, 219, 232, 180, 99, 66, 196,
				230, 181, 9, 54, 190, 233, 54, 115, 27, 93, 236, 216, 222, 99,
				190, 240, 97, 161, 179, 12, 4, 15, 56, 201, 239, 49, 49, 4,
				161, 3, 27, 40, 161, 15, 5, 36, 49, 15, 56, 201, 239, 34, 163,
				3, 27, 56, 201, 239, 49, 48, 0, 30, 162, 56, 239, 1, 49, 48, 0,
				7, 37, 4, 56, 195, 196, 54, 2, 49, 48, 0, 9, 160, 1, 55, 0, 6,
				161, 1, 5, 2, 161, 56, 201, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
				255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 0, 0, 0,
				0, 0, 0, 0, 0, 0, 16, 16, 16, 16, 0, 16, 0, 0, 36, 36, 0, 0, 0,
				0, 0, 0, 36, 126, 36, 36, 126, 36, 0, 0, 8, 62, 40, 62, 10, 62,
				8, 0, 98, 100, 8, 16, 38, 70, 0, 0, 16, 40, 16, 42, 68, 58, 0,
				0, 8, 16, 0, 0, 0, 0, 0, 0, 4, 8, 8, 8, 8, 4, 0, 0, 32, 16, 16,
				16, 16, 32, 0, 0, 0, 20, 8, 62, 8, 20, 0, 0, 0, 8, 8, 62, 8, 8,
				0, 0, 0, 0, 0, 0, 8, 8, 16, 0, 0, 0, 0, 62, 0, 0, 0, 0, 0, 0,
				0, 0, 24, 24, 0, 0, 0, 2, 4, 8, 16, 32, 0, 0, 60, 70, 74, 82,
				98, 60, 0, 0, 24, 40, 8, 8, 8, 62, 0, 0, 60, 66, 2, 60, 64,
				126, 0, 0, 60, 66, 12, 2, 66, 60, 0, 0, 8, 24, 40, 72, 126, 8,
				0, 0, 126, 64, 124, 2, 66, 60, 0, 0, 60, 64, 124, 66, 66, 60,
				0, 0, 126, 2, 4, 8, 16, 16, 0, 0, 60, 66, 60, 66, 66, 60, 0, 0,
				60, 66, 66, 62, 2, 60, 0, 0, 0, 0, 16, 0, 0, 16, 0, 0, 0, 16,
				0, 0, 16, 16, 32, 0, 0, 4, 8, 16, 8, 4, 0, 0, 0, 0, 62, 0, 62,
				0, 0, 0, 0, 16, 8, 4, 8, 16, 0, 0, 60, 66, 4, 8, 0, 8, 0, 0,
				60, 74, 86, 94, 64, 60, 0, 0, 60, 66, 66, 126, 66, 66, 0, 0,
				124, 66, 124, 66, 66, 124, 0, 0, 60, 66, 64, 64, 66, 60, 0, 0,
				120, 68, 66, 66, 68, 120, 0, 0, 126, 64, 124, 64, 64, 126, 0,
				0, 126, 64, 124, 64, 64, 64, 0, 0, 60, 66, 64, 78, 66, 60, 0,
				0, 66, 66, 126, 66, 66, 66, 0, 0, 62, 8, 8, 8, 8, 62, 0, 0, 2,
				2, 2, 66, 66, 60, 0, 0, 68, 72, 112, 72, 68, 66, 0, 0, 64, 64,
				64, 64, 64, 126, 0, 0, 66, 102, 90, 66, 66, 66, 0, 0, 66, 98,
				82, 74, 70, 66, 0, 0, 60, 66, 66, 66, 66, 60, 0, 0, 124, 66,
				66, 124, 64, 64, 0, 0, 60, 66, 66, 82, 74, 60, 0, 0, 124, 66,
				66, 124, 68, 66, 0, 0, 60, 64, 60, 2, 66, 60, 0, 0, 254, 16,
				16, 16, 16, 16, 0, 0, 66, 66, 66, 66, 66, 60, 0, 0, 66, 66, 66,
				66, 36, 24, 0, 0, 66, 66, 66, 66, 90, 36, 0, 0, 66, 36, 24, 24,
				36, 66, 0, 0, 130, 68, 40, 16, 16, 16, 0, 0, 126, 4, 8, 16, 32,
				126, 0, 0, 14, 8, 8, 8, 8, 14, 0, 0, 0, 64, 32, 16, 8, 4, 0, 0,
				112, 16, 16, 16, 16, 112, 0, 0, 16, 56, 84, 16, 16, 16, 0, 0,
				0, 0, 0, 0, 0, 0, 255, 0, 28, 34, 120, 32, 32, 126, 0, 0, 0,
				56, 4, 60, 68, 60, 0, 0, 32, 32, 60, 34, 34, 60, 0, 0, 0, 28,
				32, 32, 32, 28, 0, 0, 4, 4, 60, 68, 68, 60, 0, 0, 0, 56, 68,
				120, 64, 60, 0, 0, 12, 16, 24, 16, 16, 16, 0, 0, 0, 60, 68, 68,
				60, 4, 56, 0, 64, 64, 120, 68, 68, 68, 0, 0, 16, 0, 48, 16, 16,
				56, 0, 0, 4, 0, 4, 4, 4, 36, 24, 0, 32, 40, 48, 48, 40, 36, 0,
				0, 16, 16, 16, 16, 16, 12, 0, 0, 0, 104, 84, 84, 84, 84, 0, 0,
				0, 120, 68, 68, 68, 68, 0, 0, 0, 56, 68, 68, 68, 56, 0, 0, 0,
				120, 68, 68, 120, 64, 64, 0, 0, 60, 68, 68, 60, 4, 6, 0, 0, 28,
				32, 32, 32, 32, 0, 0, 0, 56, 64, 56, 4, 120, 0, 0, 16, 56, 16,
				16, 16, 12, 0, 0, 0, 68, 68, 68, 68, 56, 0, 0, 0, 68, 68, 40,
				40, 16, 0, 0, 0, 68, 84, 84, 84, 40, 0, 0, 0, 68, 40, 16, 40,
				68, 0, 0, 0, 68, 68, 68, 60, 4, 56, 0, 0, 124, 8, 16, 32, 124,
				0, 0, 14, 8, 48, 8, 8, 14, 0, 0, 8, 8, 8, 8, 8, 8, 0, 0, 112,
				16, 12, 16, 16, 112, 0, 0, 20, 40, 0, 0, 0, 0, 0, 60, 66, 153,
				161, 161, 153, 66, 60 };
	}

}
